scripts/executioner

   1 #!/bin/bash
   2 ##############################################################################
   3 #
   4 # executioner
   5 # -----------
   6 # Run $@ for $1 seconds and then kill the process.
   7 #
   8 # :authors: Isis Agora Lovecruft, 0x2cdb8b35
   9 # :date: 21 April 2013
  10 # :version: 0.0.1
  11 ##############################################################################
  12
  13 set -vx --
  14
  15 function killitwithfire () {
  16     trap - ALRM
  17     kill -ALRM $prog 2>/dev/null
  18     kill -9 $! 2>/dev/null && exit 0
  19 }
  20
  21 function waitforit () {
  22     trap "killitwithfire" ALRM
  23     sleep $1& wait
  24     kill -ALRM $$
  25 }
  26
  27 waitforit $1& prog=$! ; shift ;
  28 trap "killitwithfire" ALRM INT
  29 "$@"& wait $!
  30 RET=$?
  31 if [[ "$(ps -ef | awk -v pid=$prog '$2==pid{print}{}')" != "" ]]; then
  32     kill -ALRM $prog
  33     wait $prog
  34 fi
  35 exit $RET