From 39eaeb2a33dc780e4b45c59f21cf3dba31eb1130 Mon Sep 17 00:00:00 2001
From: "Kelvin Ly (on the cloud)" <kelvin.ly1618+cloud@gmail.com>
Date: Fri, 19 Jul 2019 02:10:32 +0000
Subject: [PATCH] Add restart server command

---
 restart-server.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 restart-server.sh

diff --git a/restart-server.sh b/restart-server.sh
new file mode 100755
index 0000000..32deda7
--- /dev/null
+++ b/restart-server.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+kill `cat /tmp/main-server-pid`
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
+$DIR/main-server