Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
stop being a stupidly rushing boar (hopefuly)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Nov 2023 22:08:33 +0000 (23:08 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Nov 2023 22:08:42 +0000 (23:08 +0100)
tools/tesh/tesh.py

index f8e5990..0db9022 100755 (executable)
@@ -705,7 +705,7 @@ def main():
                 cmd.timeout = None
             else:
                 try:
-                    cmd.timeout = [int(line[len("! timeout "):])]
+                    cmd.timeout = int(line[len("! timeout "):])
                 except ValueError as err:
                     fatal_error("Invalid timeout value: \""+(line[len("! timeout "):])+"\"")