mirror of https://github.com/koreader/koreader
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
40 lines
986 B
Bash
40 lines
986 B
Bash
#!/bin/sh
|
|
|
|
# Starts the arguments as a bash command in background with low priorty. The
|
|
# command will be killed if it executes for over 1 hour. If the command failed
|
|
# to start, this script returns 127. If the command is timed out, this script
|
|
# returns 255. Otherwise the return value of the command will be returned.
|
|
|
|
echo "TIMEOUT in environment: ${TIMEOUT}"
|
|
|
|
if [ -z "${TIMEOUT}" ]; then
|
|
TIMEOUT=3600
|
|
fi
|
|
|
|
echo "Timeout has been set to ${TIMEOUT} seconds"
|
|
|
|
echo "Will start command $*"
|
|
|
|
echo "$@" | nice -n 19 sh &
|
|
JOB_ID=$!
|
|
echo "Job id: ${JOB_ID}"
|
|
|
|
for i in $(seq 1 1 ${TIMEOUT}); do
|
|
if ps -p ${JOB_ID} >/dev/null 2>&1; then
|
|
# Job is still running.
|
|
sleep 1
|
|
ROUND=$(printf "%s" "${i}" | tail -c 1)
|
|
if [ "${ROUND}" -eq "0" ]; then
|
|
echo "Job ${JOB_ID} is still running ... waited for ${i} seconds."
|
|
fi
|
|
else
|
|
wait ${JOB_ID}
|
|
exit $?
|
|
fi
|
|
done
|
|
|
|
echo "Command $* has timed out"
|
|
|
|
kill -9 ${JOB_ID}
|
|
exit 255
|