# HG changeset patch
# User wenzelm
# Date 1285272036 -7200
# Node ID 6328e7a06f329d629765a69f5999e10af0173d17
# Parent  cad7a5b7f641260ddf94ff92e5e02d40f3d2429c
tuned messages -- cf. Admin/MacOS/App1;

diff -r cad7a5b7f641 -r 6328e7a06f32 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 20:34:05 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 22:00:36 2010 +0200
@@ -159,7 +159,7 @@
     system_result(startup_output)
 
     if (startup_failed) {
-      put_result(Markup.EXIT, "127")
+      put_result(Markup.EXIT, "Return code: 127")
       process.stdin.close
       Thread.sleep(300)
       terminate_process()
@@ -179,7 +179,7 @@
       system_result("process terminated")
       for ((thread, _) <- List(standard_input, stdout, command_input, message)) thread.join
       system_result("process_manager terminated")
-      put_result(Markup.EXIT, rc.toString)
+      put_result(Markup.EXIT, "Return code: " + rc.toString)
     }
     rm_fifos()
   }