From cd33fb3e14df2224f42cfef24d5d68c22e25a112 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 30 Apr 2009 13:40:06 +0200
Subject: [PATCH] BUGFIX: Paths with control characters (e.g. $) were causing
 trouble.

---
 gui/Scyther/Scyther.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py
index 2a735ac..124a18a 100755
--- 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