From 5efa0c603dccdb59817f2dc129263b32f68d465a Mon Sep 17 00:00:00 2001 From: Brian Seymour Date: Fri, 5 Oct 2018 21:16:32 -0500 Subject: [PATCH] install java, update command --- docker/Dockerfile | 1 + docker/executors/java | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index d926bb7..bd80871 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -18,6 +18,7 @@ RUN apt-get -y install php7.2 RUN apt-get -y install r-base RUN apt-get -y install mono-complete RUN apt-get -y install nasm +RUN apt-get -y install openjdk-8-jre RUN useradd -m runner diff --git a/docker/executors/java b/docker/executors/java index 378f217..9a6f423 100755 --- a/docker/executors/java +++ b/docker/executors/java @@ -1,5 +1,5 @@ -cp /*.code . -name=$(cat $1 | grep -Eo 'public class ([A-Za-z0-9]+)' | cut -d' ' -f3) -mv $1 $name.java +cp /*.code interim.java +name=$(cat interim.java | grep -Eo 'public class ([A-Za-z0-9]+)' | cut -d' ' -f3) +mv interim.java $name.java timeout -s KILL 10 javac $name.java timeout -s KILL 3 java $name ${@:3}