From a25d22a1c26203b7c9e2dcd33f4c602b0f82684d Mon Sep 17 00:00:00 2001 From: Test_User Date: Mon, 7 Aug 2023 19:43:57 -0400 Subject: A bunch of stuff, mostly related to client support --- rerun.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 rerun.sh (limited to 'rerun.sh') 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" "$@" +} -- cgit v1.2.3