PluginManager/PluginManager.py

changeset 6360
73033fa6a99c
parent 6267
350655a6c85f
child 6605
6ae78749babc
--- a/PluginManager/PluginManager.py	Wed Jun 20 18:45:07 2018 +0200
+++ b/PluginManager/PluginManager.py	Wed Jun 20 18:48:44 2018 +0200
@@ -1138,7 +1138,7 @@
         if not os.path.exists(downloadDir):
             try:
                 os.mkdir(downloadDir, 0o755)
-            except (OSError, IOError) as err:
+            except (OSError, IOError):
                 # try again with (possibly) new default
                 downloadDir = self.__defaultDownloadDir
                 if not os.path.exists(downloadDir):

eric ide

mercurial