eric5.py

branch
5_0_x
changeset 769
a7cac3e1f1e3
parent 700
f61fa26998d0
child 792
a13346916170
--- a/eric5.py	Sun Dec 19 19:53:48 2010 +0100
+++ b/eric5.py	Wed Dec 22 17:32:24 2010 +0100
@@ -212,7 +212,7 @@
     for arg in sys.argv:
         if arg.startswith("--plugin=") and sys.argv.index(arg) < ddindex:
             # extract the plugin development option
-            pluginFile = arg.replace("--plugin=", "")
+            pluginFile = arg.replace("--plugin=", "").replace('"', "")
             sys.argv.remove(arg)
             pluginFile = os.path.expanduser(pluginFile)
             pluginFile = Utilities.normabspath(pluginFile)

eric ide

mercurial