# HG changeset patch
# User wenzelm
# Date 1457467730 -3600
# Node ID cd3ea66fe2ce6eee34468944401297b47ebd9f14
# Parent  40624a9e94c45e792ab430dafdaf5d86523f2efa
proper support for RAW_ML_SYSTEM;

diff -r 40624a9e94c4 -r cd3ea66fe2ce src/Pure/System/ml_process.scala
--- a/src/Pure/System/ml_process.scala	Tue Mar 08 20:33:34 2016 +0100
+++ b/src/Pure/System/ml_process.scala	Tue Mar 08 21:08:50 2016 +0100
@@ -72,11 +72,14 @@
     val eval_secure = if (secure) List("Secure.set_secure ()") else Nil
 
     val eval_process =
-      channel match {
-        case None => List("Isabelle_Process.init_options ()")
-        case Some(ch) =>
-          List("Isabelle_Process.init_protocol " + ML_Syntax.print_string_raw(ch.server_name))
-      }
+      if (load_heaps.isEmpty) Nil
+      else
+        channel match {
+          case None =>
+            List("Isabelle_Process.init_options ()")
+          case Some(ch) =>
+            List("Isabelle_Process.init_protocol " + ML_Syntax.print_string_raw(ch.server_name))
+        }
 
     // bash
     val bash_args =