A bunch of stuff, mostly related to client support

1 files changed, 11 insertions, 0 deletions

diff --git a/rerun.sh b/rerun.sh
new file mode 100755
index 0000000..2e82fc2
--- /dev/null
+++ b/rerun.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+{
+	start=`date -u +%s`
+	./haxserv
+	uptime=$((`date -u +%s` - $start))
+	if (($uptime < 10)); then
+		sleep $((10 - $uptime))
+	fi
+
+	exec "$0" "$@"
+}