mirror of
https://github.com/koreader/koreader
synced 2024-10-31 21:20:20 +00:00
40 lines
962 B
Bash
40 lines
962 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
|