diff --git a/docker/execute b/docker/execute index 1b72e14..7abe9a3 100755 --- 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