--- a/src/Pure/System/isabelle_process.scala Sun Feb 14 13:15:59 2016 +0100
+++ b/src/Pure/System/isabelle_process.scala Sun Feb 14 13:23:12 2016 +0100
@@ -17,7 +17,8 @@
val system_process =
try {
val script =
- "\"$ISABELLE_PROCESS\" -P " + system_channel.server_name +
+ File.shell_quote(Isabelle_System.getenv_strict("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