# 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() }