bin/isabelle-process
changeset 25504 dc960d760052
parent 21639 8ab7c4dbb524
child 25523 08b0feb07239
     1.1 --- a/bin/isabelle-process	Thu Nov 29 17:38:41 2007 +0100
     1.2 +++ b/bin/isabelle-process	Thu Nov 29 18:09:36 2007 +0100
     1.3 @@ -36,6 +36,7 @@
     1.4    echo "    -e MLTEXT    pass MLTEXT to the ML session"
     1.5    echo "    -f           pass 'Session.finish();' to the ML session"
     1.6    echo "    -m MODE      add print mode for output"
     1.7 +  echo "    -p           echo ISABELLE_PID on startup"
     1.8    echo "    -q           non-interactive session"
     1.9    echo "    -r           open heap file read-only"
    1.10    echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
    1.11 @@ -67,11 +68,12 @@
    1.12  COMPRESS=""
    1.13  MLTEXT=""
    1.14  MODES=""
    1.15 +ECHOPID=""
    1.16  TERMINATE=""
    1.17  READONLY=""
    1.18  NOWRITE=""
    1.19  
    1.20 -while getopts "XCIPSce:fm:qruw" OPT
    1.21 +while getopts "XCIPSce:fm:pqruw" OPT
    1.22  do
    1.23    case "$OPT" in
    1.24      C)
    1.25 @@ -105,6 +107,9 @@
    1.26          MODES="\"$OPTARG\", $MODES"
    1.27        fi
    1.28        ;;
    1.29 +    p)
    1.30 +      ECHOPID=true
    1.31 +      ;;
    1.32      q)
    1.33        TERMINATE=true
    1.34        ;;
    1.35 @@ -227,6 +232,8 @@
    1.36  export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE \
    1.37    ISABELLE_PID ISABELLE_TMP
    1.38  
    1.39 +[ -n "$ECHOPID" ] && echo "ISABELLE_PID=$ISABELLE_PID"
    1.40 +
    1.41  if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
    1.42    "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"
    1.43  else