diff options
-rwxr-xr-x | compile-and-run.sh | 2 | ||||
-rw-r--r-- | containers/compiler/execute.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compile-and-run.sh b/compile-and-run.sh index 423206e..d489d2a 100755 --- a/compile-and-run.sh +++ b/compile-and-run.sh @@ -57,7 +57,7 @@ if [ $compiler_status -eq 0 ]; then -t "$runner_image" \ -f "containers/runner/Dockerfile" . \ || exit 1 - catch runner_stdout runner_stderr timeout 60 docker run \ + catch runner_stdout runner_stderr timeout 30 docker run \ --rm \ -h "java-runner-$runner_id" \ --memory=32m \ diff --git a/containers/compiler/execute.sh b/containers/compiler/execute.sh index 6831a8b..02c3fb2 100644 --- a/containers/compiler/execute.sh +++ b/containers/compiler/execute.sh @@ -2,4 +2,4 @@ EXEC_DIR=/tmp/exec -timeout 60 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" +timeout 30 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" |