No need to backslash the char '@'
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 12 Feb 2008 16:24:10 +0000 (16:24 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 12 Feb 2008 16:24:10 +0000 (16:24 +0000)
system/TestPlc.py

index 97e9215..73bfae9 100644 (file)
@@ -16,11 +16,11 @@ from TestKey import TestKey
 from TestSlice import TestSlice
 
 # inserts a backslash before each occurence of the following chars
-# \ " ' < > & | ; ( ) $ * ~ @
+# \ " ' < > & | ; ( ) $ * ~ 
 def backslash_shell_specials (command):
     result=''
     for char in command:
-        if char in "\\\"'<>&|;()$*~@":
+        if char in "\\\"'<>&|;()$*~":
             result +='\\'+char
         else:
             result +=char