PluginManager/PluginManager.py

branch
maintenance
changeset 5730
6422afc7adc4
parent 5726
e1dbd217214a
child 5853
e45a570528a4
--- a/PluginManager/PluginManager.py	Sun Apr 09 16:52:55 2017 +0200
+++ b/PluginManager/PluginManager.py	Sat May 06 13:43:21 2017 +0200
@@ -82,6 +82,8 @@
         @keyparam develPlugin filename of a plugin to be loaded for
             development (string)
         @exception PluginPathError raised to indicate an invalid plug-in path
+        @exception PluginModulesError raised to indicate the absence of
+            plug-in modules
         """
         super(PluginManager, self).__init__(parent)
         
@@ -337,6 +339,8 @@
         @param reload_ flag indicating to reload the module (boolean)
         @exception PluginLoadError raised to indicate an issue loading
             the plug-in
+        @exception PluginPy2IncompatibleError raised to indicate the Python 2
+            incompatibility of a plug-in
         """
         try:
             fname = "{0}.py".format(os.path.join(directory, name))

eric ide

mercurial