Add delay to server restart so it doesn't get confused
This commit is contained in:
parent
94372bc842
commit
5f7c56daba
|
@ -2,4 +2,6 @@
|
||||||
|
|
||||||
kill `cat /tmp/main-server-pid`
|
kill `cat /tmp/main-server-pid`
|
||||||
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
||||||
|
# lol
|
||||||
|
sleep 1
|
||||||
$DIR/main-server
|
$DIR/main-server
|
||||||
|
|
Loading…
Reference in New Issue