PluginManager/PluginManager.py

changeset 5726
e1dbd217214a
parent 5588
6ba512d9f46a
child 5853
e45a570528a4
--- a/PluginManager/PluginManager.py	Fri May 05 19:05:26 2017 +0200
+++ b/PluginManager/PluginManager.py	Fri May 05 19:06:52 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