TimeoutPatch

#! /bin/sh

# We reuse the script to have a program to pass to setsid(3).
# Another script should be used here instead,
# but this allows this script to be self contained
if [ $# -eq 1 ] ; then
	trap 'kill -15 -$$' 1 2 3 15
	sleep "$1" && kill -USR1 $PPID 2>/dev/null &
	# Wait so that sleep doesn't block us from being interrupted
	wait $!
	exit
fi
if [ $# -lt 2 ] ; then
	echo "Usage: $0   [arguments...]"
	exit 1
fi

# Once the timeout has expired,
# allow the script to kill the program and cleanup
timeout() {
	exec setsid "$0" "$1"
}

# Replace the subshell with the process as a process leader
execute() {
	exec setsid "$@"
}

# SIGUSR1 handler
timeup() {
	[ $progPID -gt 0 ] && kill $progPID && progPID=0
	sleeperPID=0
}

# EXIT, SIGHUP, SIGQUIT, SIGTERM handler
# SIGINT might be needed by the default handler to make wait work
cleanup() {
	trap - 0 1 3 10 15
	for pid in $sleeperPID $progPID ; do
		[ $pid -gt 0 ] && kill -15 -$pid
	done
}

# Setup traps
trap timeup 10
trap cleanup 0 1 3 15
# Start the timeout
timeout "$1" &
sleeperPID=$!

shift
# Start the command
execute "$@" &
progPID=$!

# Wait for the command to complete
wait $progPID && progPID=0