Skip to content

Commit a61625e

Browse files
committed
Use exec to run java
This way the PID returned to the parent process will be the PID of the JVM, not of the shell running the script
1 parent 3b13921 commit a61625e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/runjava

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,4 +92,4 @@ if $cygwin; then
9292
CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
9393
fi
9494

95-
"${JAVA_HOME}/bin/java" ${JAVA_OPTS} -cp "$CLASSPATH" "$@"
95+
exec "${JAVA_HOME}/bin/java" ${JAVA_OPTS} -cp "$CLASSPATH" "$@"

0 commit comments

Comments
 (0)