plugger.py
changeset 313 ef0b303d9535
parent 312 8a702213ce51
child 321 5a4e6278a18b
--- a/plugger.py	Tue Jan 20 17:02:25 2009 +0100
+++ b/plugger.py	Tue Jan 20 17:22:16 2009 +0100
@@ -1021,8 +1021,10 @@
             hmipyfile=os.path.join(self._getBuildPath(),"hmi.py")
             if wx.Platform == '__WXMSW__':
                 wxgfile = "\"%s\""%wxgfile
-                hmipyfile = "\"%s\""%hmipyfile
-            self.launch_wxglade(['-o', hmipyfile, '-g', 'python', wxgfile], wait=True)
+                _hmipyfile = "\"%s\""%hmipyfile
+            else:
+                _hmipyfile = hmipyfile
+            self.launch_wxglade(['-o', _hmipyfile, '-g', 'python', wxgfile], wait=True)
             res += (("hmi.py", file(hmipyfile,"rb")),)
 
         return res