changeset 38256 | d2f094d97c91 |
parent 38254 | fb1b255d6e36 |
child 38259 | 2b61c5e27399 |
--- a/src/Pure/System/isabelle_process.ML Mon Aug 09 21:35:45 2010 +0200 +++ b/src/Pure/System/isabelle_process.ML Mon Aug 09 22:02:26 2010 +0200 @@ -57,7 +57,7 @@ let val _ = TextIO.StreamIO.setBufferMode (TextIO.getOutstream stream, IO.BLOCK_BUF); fun loop () = - (OS.Process.sleep (Time.fromMilliseconds 50); try TextIO.flushOut stream; loop ()); + (OS.Process.sleep (Time.fromMilliseconds 20); try TextIO.flushOut stream; loop ()); in loop end; fun rendezvous f fifo =