Fix a race condition in SwappedCtx parallel exec

[simgrid.git] / tools / tesh / tesh.py

diff --git a/tools/tesh/tesh.py b/tools/tesh/tesh.py
index 5ba29b8..8530066 100755 (executable)
--- a/tools/tesh/tesh.py
+++ b/tools/tesh/tesh.py
@@ -5,7 +5,7 @@
 tesh -- testing shell
 ========================
 
-Copyright (c) 2012-2018. The SimGrid Team. All rights reserved.
+Copyright (c) 2012-2019. The SimGrid Team. All rights reserved.
 
 This program is free software; you can redistribute it and/or modify it
 under the terms of the license (GNU LGPL) which comes with this package.
@@ -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())
-            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())