changeset 39618 | 1776b55f8d7a |
parent 39591 | a43a723753e6 |
child 39623 | 6aae022fde9b |
--- a/src/Pure/System/isabelle_process.scala Wed Sep 22 20:50:25 2010 +0200 +++ b/src/Pure/System/isabelle_process.scala Wed Sep 22 21:21:04 2010 +0200 @@ -188,7 +188,7 @@ val message = message_actor(message_stream) val rc = process_result.join - system_result("Isabelle process terminated") + 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)