Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh.py: if there is a wrapper, increase the timeout value
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 3 Sep 2016 15:21:16 +0000 (17:21 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 3 Sep 2016 15:21:16 +0000 (17:21 +0200)
tools/tesh/tesh.py

index 8401305..4a635be 100755 (executable)
@@ -287,6 +287,9 @@ class Cmd(object):
         
         print("["+FileReader().filename+":"+str(self.linenumber)+"] "+self.args)
         
+        if TeshState().wrapper is not None:
+            self.timeout *= 20
+        
         args = shlex.split(self.args)
         #print (args)
         try: