From c4b4d1b38a3ac2f8fbbfe2a5d0715902d09ae73b Mon Sep 17 00:00:00 2001
From: kaboom <58372747+kaboombot@users.noreply.github.com>
Date: Sat, 10 Jul 2021 18:12:15 +0300
Subject: [PATCH] Properly shut down server when resetting

---
 script/reset.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/script/reset.sh b/script/reset.sh
index 27e0c31..77015ed 100755
--- a/script/reset.sh
+++ b/script/reset.sh
@@ -3,7 +3,10 @@
 # The following script is used when resetting the server
 # Currently every 24 h
 
-~/framework/script/stop.sh
+pkill -9 init.sh
+pkill -9 schematics.sh
+pkill -9 server.sh
+pkill -9 java
 
 chmod -R 777 ~/server/
 rm -rf ~/server/*