From 1ecb816513aa5c69a1434892cec458f014588750 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Mon, 8 May 2023 22:34:03 +0200
Subject: [PATCH] Kill server process

---
 run/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/install.sh b/run/install.sh
index 8c426f0..7d42c51 100644
--- a/run/install.sh
+++ b/run/install.sh
@@ -5,7 +5,7 @@ set -Eeuo pipefail
 HTML="Please wait while Virtual DSM is installing...<script>\
         setTimeout(() => { document.location.reload(); }, 9999);</script>"
 
-{ pkill -f server.sh || true } 2>/dev/null
+{ pkill -f server.sh || true; } 2>/dev/null
 
 /run/server.sh 80 "${HTML}" &
 /run/server.sh 5000 "${HTML}" &