rerun.sh 166 B

123456789101112
  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. exec "$0" "$@"
  10. }