--- 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")),)
return res
@@ -1324,6 +1327,8 @@
</object>
</application>
""")
+ if wx.Platform == '__WXMSW__':
+ wxg_filename = "\"%s\""%wxg_filename
self.launch_wxglade([wxg_filename])
def _EditPLC(self):