#49 Use exec to run Java

Erikvl87 · Dec 7, 2023 · 16b491e · 16b491e
1 parent 41dab08
commit 16b491e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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