diff --git a/API/DockerTimeout.sh b/API/DockerTimeout.sh index f580e61c..4ec8caba 100755 --- a/API/DockerTimeout.sh +++ b/API/DockerTimeout.sh @@ -4,7 +4,7 @@ set -e to=$1 shift -cont=$(docker run --rm -d "$@") +cont=$(docker run --rm "$@") code=$(timeout "$to" docker wait "$cont" || true) docker kill $cont &> /dev/null echo -n 'status: '