increase timeout

2018-09-20 22:28:09 -05:00 · 2018-09-20 22:28:09 -05:00 · 7d299a6a2b
parent e9c952216b
commit 7d299a6a2b
1 changed files with 1 additions and 1 deletions
--- a/docker/execute
+++ b/docker/execute
@ -63,6 +63,6 @@ docker run \
    -v $dir/executors/cpp:/executor_cpp \
    -v $dir/executors/go:/executor_go \
    piston \
-    timeout -s HUP 3 /$bin /$file $file 2>&1
+    timeout -s HUP 15 /$bin /$file $file 2>&1

 rm -f /tmp/$file