Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.scala
changeset 62299 9e95a4afb8c3
parent 62296 b04a5ddd6121
child 62308 9b9547c9a6ed 
--- a/src/Pure/System/isabelle_process.scala	Sat Feb 13 21:17:08 2016 +0100
+++ b/src/Pure/System/isabelle_process.scala	Sat Feb 13 21:22:02 2016 +0100
@@ -17,7 +17,7 @@
     val system_process =
       try {
         val script =
-          "\"$ISABELLE_PROCESS\" " + system_channel.prover_options +
+          "\"$ISABELLE_PROCESS\" -P " + system_channel.server_name +
             (if (prover_args == "") "" else " " + prover_args)
         val process = Bash.process(null, null, false, "-c", script)
         process.stdin.close
isabelle