# HG changeset patch
# User wenzelm
# Date 1285241299 -7200
# Node ID 6aae022fde9b12fcc3322dd5ee686d5de4982559
# Parent  53365ba766acd771c0bfe76e6ced4e1664c21948
tuned message;

diff -r 53365ba766ac -r 6aae022fde9b src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Wed Sep 22 22:39:17 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 13:28:19 2010 +0200
@@ -166,7 +166,7 @@
         if (process_result.is_finished) finished = Some(false)
         else Thread.sleep(10)
       }
-      (finished.isEmpty || !finished.get, result.toString)
+      (finished.isEmpty || !finished.get, result.toString.trim)
     }
     system_result(startup_output)