From 5f7c56dabaf8520fc40c374ce7eedfd03ca2e21e Mon Sep 17 00:00:00 2001
From: Kelvin Ly <kelvin.ly1618@gmail.com>
Date: Thu, 18 Jul 2019 22:40:21 -0400
Subject: [PATCH] Add delay to server restart so it doesn't get confused

---
 restart-server.sh | 2 ++
 1 file changed, 2 insertions(+)

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