tuned messages -- cf. Admin/MacOS/App1;
authorwenzelm
Thu Sep 23 22:00:36 2010 +0200 (2010-09-23 ago)
changeset 396326328e7a06f32
parent 39631 cad7a5b7f641
child 39633 26a28110ece5
tuned messages -- cf. Admin/MacOS/App1;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 20:34:05 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 22:00:36 2010 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4      system_result(startup_output)
     1.5  
     1.6      if (startup_failed) {
     1.7 -      put_result(Markup.EXIT, "127")
     1.8 +      put_result(Markup.EXIT, "Return code: 127")
     1.9        process.stdin.close
    1.10        Thread.sleep(300)
    1.11        terminate_process()
    1.12 @@ -179,7 +179,7 @@
    1.13        system_result("process terminated")
    1.14        for ((thread, _) <- List(standard_input, stdout, command_input, message)) thread.join
    1.15        system_result("process_manager terminated")
    1.16 -      put_result(Markup.EXIT, rc.toString)
    1.17 +      put_result(Markup.EXIT, "Return code: " + rc.toString)
    1.18      }
    1.19      rm_fifos()
    1.20    }