woj-server/resource/runner/scripts/docker_run.sh

#!/usr/bin/env bash

SCRIPT_PATH=$(cd "$(dirname "$0")" && pwd)
. "$SCRIPT_PATH/common.sh"

function docker_run() {
    local timeout=${TIMEOUT:-10}
    local network=${NETWORK:-"none"}
    local memory=${MEMORY:-"256m"}
    local log_file=${LOG_FILE:-"/dev/stderr"}
    local log_limit=${LOG_LIMIT:-4K}
    log_info "$DOCKER run with timeout $timeout"
    CONTAINER_NAME=$(uuidgen)
    (
        sleep "$timeout"
        $DOCKER kill "$CONTAINER_NAME"
    ) &
    $DOCKER run --rm --name "$CONTAINER_NAME" --network "$network" --memory "$memory" "$@" 2>&1 | head -c "$log_limit" >"$log_file"
    pkill -P $$
    $DOCKER kill "$CONTAINER_NAME" >/dev/null 2>&1
    return 0
}