plugger.py
changeset 310 11a82fbbac46
parent 309 6eb074f0dae9
child 312 8a702213ce51
--- a/plugger.py	Mon Jan 19 17:08:17 2009 +0100
+++ b/plugger.py	Tue Jan 20 15:04:14 2009 +0100
@@ -985,12 +985,14 @@
         else:
             return None
 
-    def launch_wxglade(self,options, wait=False):
+    def launch_wxglade(self, options, wait=False):
         from wxglade import __file__ as fileName
-        path    = os.path.dirname(fileName)
-        glade   = os.path.join(path,'wxglade.py')
+        path = os.path.dirname(fileName)
+        glade = os.path.join(path, 'wxglade.py')
+        if wx.Platform == '__WXMSW__':
+            glade = "\"%s\""%glade
         mode = {False:os.P_NOWAIT, True:os.P_WAIT}[wait]
-        os.spawnv(mode,sys.executable,[sys.executable]+[glade]+options)
+        os.spawnv(mode, sys.executable, ["\"%s\""%sys.executable] + [glade] + options)
 
     #######################################################################
     #