tuned message;
authorwenzelm
Thu Sep 23 13:28:19 2010 +0200 (2010-09-23 ago)
changeset 396236aae022fde9b
parent 39622 53365ba766ac
child 39624 57496c868dcc
tuned message;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Sep 22 22:39:17 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 13:28:19 2010 +0200
     1.3 @@ -166,7 +166,7 @@
     1.4          if (process_result.is_finished) finished = Some(false)
     1.5          else Thread.sleep(10)
     1.6        }
     1.7 -      (finished.isEmpty || !finished.get, result.toString)
     1.8 +      (finished.isEmpty || !finished.get, result.toString.trim)
     1.9      }
    1.10      system_result(startup_output)
    1.11