From 0338bfe69e48c354983abaefd7323345c9df22c7 Mon Sep 17 00:00:00 2001
From: andrsmllr <andrsmllr@bananatronics.org>
Date: Thu, 6 Aug 2020 11:36:45 +0200
Subject: [PATCH] Catch additional exception

---
 src/plugins/PluginManager.cs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/PluginManager.cs b/src/plugins/PluginManager.cs
index 1cd17c0..7069215 100644
--- a/src/plugins/PluginManager.cs
+++ b/src/plugins/PluginManager.cs
@@ -83,6 +83,10 @@ private PluginManager(Type pluginType, object[] args)
 		catch (DirectoryNotFoundException e) {
 			System.Console.WriteLine(e.Message);
 		}
+                catch (System.IO.IOException e) {
+			System.Console.WriteLine(e.Message);
+                        System.Console.WriteLine("plugins directory may not exist");
+                }
 
 	}