tuned messages -- cf. Admin/MacOS/App1;
authorwenzelm
Thu, 23 Sep 2010 22:00:36 +0200
changeset 39632 6328e7a06f32
parent 39631 cad7a5b7f641
child 39633 26a28110ece5
tuned messages -- cf. Admin/MacOS/App1;
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()
   }