Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
authorwenzelm
Sat, 15 Dec 2007 17:53:32 +0100
changeset 25645 b2ed983a5e80
parent 25644 d30391cdd9d9
child 25646 569cdf7c1c7c
non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
bin/isabelle-process file | annotate | diff | comparison | revisions 
--- a/bin/isabelle-process	Sat Dec 15 14:52:55 2007 +0100
+++ b/bin/isabelle-process	Sat Dec 15 17:53:32 2007 +0100
@@ -222,6 +222,7 @@
 
 [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();"
 
+NICE="nice"
 if [ -n "$WRAPPER" ]; then
   MLTEXT="$MLTEXT; IsabelleProcess.init();"
 elif [ -n "$PGIP" ]; then
@@ -230,15 +231,17 @@
   MLTEXT="$MLTEXT; ProofGeneral.init $ISAR;"
 elif [ "$ISAR" = true ]; then
   MLTEXT="$MLTEXT; Isar.main();"
+else
+  NICE=""
 fi
 
 export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE \
   ISABELLE_PID ISABELLE_TMP
 
 if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
-  "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"
+  $NICE "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"
 else
-  "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE"
+  $NICE "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE"
 fi
 RC="$?"
isabelle