From 25bdf2b56a629efa23bfd15b9edc8c85c81f33c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gon=C3=A7alo=20S=2E=20Martins?= Date: Sun, 14 May 2017 11:50:02 +0100 Subject: [PATCH] ... and default timeout is now 10s. --- crossword_generator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crossword_generator.py b/crossword_generator.py index 30a9dda..bc6eda6 100755 --- a/crossword_generator.py +++ b/crossword_generator.py @@ -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,