src/Pure/System/isabelle_process.ML
changeset 40301 bf39a257b3d3
parent 40134 8baded087d34
child 40518 035a27279705
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Nov 02 20:31:46 2010 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Nov 02 20:55:12 2010 +0100
     1.3 @@ -81,7 +81,7 @@
     1.4        (case receive mbox of
     1.5          SOME msg =>
     1.6           (List.app (fn s => TextIO.output (out_stream, s)) msg;
     1.7 -          loop (Mailbox.receive_timeout (Time.fromMilliseconds 20)))
     1.8 +          loop (Mailbox.receive_timeout (seconds 0.02)))
     1.9        | NONE => (try TextIO.flushOut out_stream; loop (SOME o Mailbox.receive)));
    1.10    in fn () => loop (SOME o Mailbox.receive) end;
    1.11  
    1.12 @@ -165,7 +165,7 @@
    1.13  
    1.14  fun init in_fifo out_fifo = ignore (Simple_Thread.fork false (fn () =>
    1.15    let
    1.16 -    val _ = OS.Process.sleep (Time.fromMilliseconds 500);  (*yield to raw ML toplevel*)
    1.17 +    val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
    1.18      val _ = Output.raw_stdout Symbol.STX;
    1.19  
    1.20      val _ = quick_and_dirty := true;  (* FIXME !? *)