view sources/timeout.sh @ 942:a0b0e2a7d475

Oops, local changes I didn't mean to check in leaked. Fix it.
author Rob Landley <rob@landley.net>
date Tue, 22 Dec 2009 12:14:03 -0600
parents 2ca7ea5d3ec1
children
line wrap: on
line source

#!/bin/bash

# Run a command line with a hang timeout, which kills the child process if it
# doesn't produce a new line of output for $1 seconds.

# This script has to be a separate process (rather than just a shell function)
# so killing it doesn't kill the parent process.

source sources/functions.sh

if [ $# -lt 1 ]
then
  echo "Need timeout value" >&2
  exit 1
fi

trap "killtree $$" EXIT
TIMEOUT="$1"
shift
( "$@" ) | tee >(while read -t "$TIMEOUT" -n 32 i; do true; done; sleep 1; kill -TERM $$ 2>/dev/null )