Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cosmetics: trailing withespaces.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Jan 2019 10:33:09 +0000 (11:33 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Jan 2019 11:14:43 +0000 (12:14 +0100)
tools/tesh/tesh.py

index 0516672..8530066 100755 (executable)
@@ -326,7 +326,7 @@ class Cmd(object):
         except PermissionError:
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The binary is not executable.")
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())
         except PermissionError:
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The binary is not executable.")
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())
-            tesh_exit(3)            
+            tesh_exit(3)
         except NotADirectoryError:
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The path to binary does not exist.")
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())
         except NotADirectoryError:
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The path to binary does not exist.")
             print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())