rerun.sh

   1 #!/usr/bin/env bash
   2 {
   3         start=`date -u +%s`
   4         ./haxserv
   5         uptime=$((`date -u +%s` - $start))
   6         if (($uptime < 10)); then
   7                 sleep $((10 - $uptime))
   8         fi
   9
  10         exec "$0" "$@"
  11 }