„scripts/start.sh“ ändern

2022-12-07 12:25:20 +01:00
parent b49f3ce359
commit 065593cbf4
1 changed files with 3 additions and 2 deletions
--- a/scripts/start.sh
+++ b/scripts/start.sh
@@ -26,8 +26,9 @@ chown -R ${UID}:${GID} ${DATA_DIR}

 echo "---Starting...---"
 term_handler() {
-	kill -SIGTERM "$killpid"
-	wait "$killpid" -f 2>/dev/null
+	kill -SIGINT $(pidof CreativerseServer)
+	tail --pid=$(pidof CreativerseServer) -f 2>/dev/null
+	sleep 0.5
 	exit 143;
 }