--- a/plugger.py Tue Jan 20 15:04:41 2009 +0100
+++ b/plugger.py Tue Jan 20 17:02:25 2009 +0100
@@ -1019,7 +1019,10 @@
wxgfile=self._getWXGLADEpath()
if os.path.exists(wxgfile):
hmipyfile=os.path.join(self._getBuildPath(),"hmi.py")
- self.launch_wxglade(['-o', hmipyfile, '-g','python', wxgfile], wait=True)
+ if wx.Platform == '__WXMSW__': + wxgfile = "\"%s\""%wxgfile + hmipyfile = "\"%s\""%hmipyfile + self.launch_wxglade(['-o', hmipyfile, '-g', 'python', wxgfile], wait=True) res += (("hmi.py", file(hmipyfile,"rb")),)
@@ -1324,6 +1327,8 @@
+ if wx.Platform == '__WXMSW__': + wxg_filename = "\"%s\""%wxg_filename self.launch_wxglade([wxg_filename])