From 00f757ffdc6338bc0e41828ba34c0ae48da5cfe1 Mon Sep 17 00:00:00 2001
From: mathias <mail@mathias.is>
Date: Sat, 24 Nov 2018 23:47:08 +0200
Subject: [PATCH] Try shutdown timer

---
 bin/start | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/start b/bin/start
index 65b11a5..3d8e496 100755
--- a/bin/start
+++ b/bin/start
@@ -2,10 +2,10 @@
 shutdown() {
 	echo "SHUTDOWN"
 	kill $(pgrep java)
-	kill $(pgrep ssh)
+	sleep 5
 }
 
-trap shutdown SIGINT SIGTERM
+trap shutdown SIGTERM
 
 mkdir -p crash-reports/ dumps/
 echo "$PRIVATE_KEY" > .ssh/id_rsa