22 lines
617 B
Bash
Executable File
22 lines
617 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
SCRIPT_PATH=$(cd "$(dirname "$0")" && pwd)
|
|
. "$SCRIPT_PATH/common.sh"
|
|
|
|
function docker_run() {
|
|
local timeout=${TIMEOUT:-10}
|
|
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" --memory "$memory" "$@" 2>&1 | head -c "$log_limit" >"$log_file"
|
|
pkill -P $$
|
|
$DOCKER kill "$CONTAINER_NAME" >/dev/null 2>&1
|
|
return 0
|
|
}
|