diff --git a/restart-server.sh b/restart-server.sh index 32deda7..ce29b8a 100755 --- a/restart-server.sh +++ b/restart-server.sh @@ -2,4 +2,6 @@ kill `cat /tmp/main-server-pid` DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" +# lol +sleep 1 $DIR/main-server