fix japp.sh

Glavo · Mar 7, 2024 · 0de6ad1 · 0de6ad1
1 parent 9ac18cd
commit 0de6ad1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -197,4 +197,3 @@ Thanks to [PLCT Lab](https://plctlab.github.io/) for supporting me.
 <img src="https://resources.jetbrains.com/storage/products/company/brand/logos/IntelliJ_IDEA.svg" alt="IntelliJ IDEA logo.">
 
 This project is developed using JetBrains IDEA. Thanks to JetBrains for providing me with a free license.
-
diff --git a/bin/japp.sh b/bin/japp.sh
@@ -8,4 +8,4 @@ if [ ! -f "$japp_jar" ]; then
   exit 1
 fi
 
-java -jar $japp_jar "$@"
+exec java -jar $japp_jar "$@"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -197,4 +197,3 @@ Thanks to [PLCT Lab](https://plctlab.github.io/) for supporting me.
		<img src="https://resources.jetbrains.com/storage/products/company/brand/logos/IntelliJ_IDEA.svg" alt="IntelliJ IDEA logo.">

		This project is developed using JetBrains IDEA. Thanks to JetBrains for providing me with a free license.
-Original file line number
+Diff line change
@@ Expand Up / @@ -8,4 +8,4 @@ if [ ! -f "$japp_jar" ]; then @@
       exit 1
     fi
-    java -jar $japp_jar "$@"
+    exec java -jar $japp_jar "$@"