BUGFIX: Paths with control characters (e.g. $) were causing trouble.

2009-04-30 13:40:06 +02:00 · 2009-04-30 13:40:06 +02:00 · cd33fb3e14
commit cd33fb3e14
parent d633a62f0d
1 changed files with 1 additions and 1 deletions
--- a/gui/Scyther/Scyther.py
+++ b/gui/Scyther/Scyther.py
@ -235,7 +235,7 @@ class Scyther(object):

        # Generate command line for the Scyther process
        self.cmd = ""
-        self.cmd += "\"%s\"" % self.program
+        self.cmd += "\'%s\'" % self.program
        self.cmd += " --append-errors=%s" % fne
        self.cmd += " --append-output=%s" % fno
        self.cmd += " %s" % args