From 16b491e4eed2a391127d815238dcd088a2209f63 Mon Sep 17 00:00:00 2001
From: Maik Schreiber <blizzy@blizzy.de>
Date: Wed, 11 Oct 2023 19:42:35 +0200
Subject: [PATCH] #49 Use exec to run Java

---
 start.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/start.sh b/start.sh
index 00cb960..ba8278f 100644
--- a/start.sh
+++ b/start.sh
@@ -14,5 +14,4 @@ fi
 Xms=${Java_Xms:-256m}
 Xmx=${Java_Xmx:-512m}
 
-set -x
-java -Xms$Xms -Xmx$Xmx -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' --config config.properties
+exec java -Xms$Xms -Xmx$Xmx -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' --config config.properties