# HG changeset patch
# User wenzelm
# Date 1368470104 -7200
# Node ID 0e18eee8c2c274591330c4aac0870df03d74db03
# Parent  4af6884329cb7117b2612d303bf9fccc75dc2c33
recovered informative progress from 016cb7d8f297;

diff -r 4af6884329cb -r 0e18eee8c2c2 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon May 13 20:30:49 2013 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon May 13 20:35:04 2013 +0200
@@ -369,6 +369,7 @@
       val limited = new Object {
         private var count = 0L
         def apply(progress: String => Unit)(line: String): Unit = synchronized {
+          progress(line)
           count = count + line.length + 1
           progress_limit match {
             case Some(limit) if count > limit => proc.terminate