lib/Tools/java
author wenzelm
Wed Dec 22 11:52:57 2010 +0100 (2010-12-22)
changeset 41380 92237dee0f29
parent 36238 344377ce2e0a
child 41622 ad5474a8374b
permissions -rwxr-xr-x
isabelle java: prefer -server here;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# Author: Makarius
wenzelm@27914
     4
#
wenzelm@27916
     5
# DESCRIPTION: invoke Java within the Isabelle environment
wenzelm@27914
     6
wenzelm@27914
     7
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@41380
     8
wenzelm@41380
     9
JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
wenzelm@41380
    10
if "$JAVA_EXE" -server >/dev/null 2>/dev/null
wenzelm@41380
    11
then
wenzelm@41380
    12
  exec "$JAVA_EXE" -server "$@"
wenzelm@41380
    13
else
wenzelm@41380
    14
  exec "$JAVA_EXE" "$@"
wenzelm@41380
    15
fi
wenzelm@41380
    16