... and default timeout is now 10s.

This commit is contained in:
Gonçalo S. Martins 2017-05-14 11:50:02 +01:00
parent cce916c1b5
commit 25bdf2b56a

View file

@ -510,7 +510,7 @@ if __name__ == "__main__":
dest="dim",
help="Dimensions of the grid to build.")
parser.add_argument('-t', type=int,
default=60,
default=10,
dest="timeout",
help="Maximum execution time, in seconds.")
parser.add_argument('-o', type=float,