Make some minor tweaks to ProcessMultiplexor.sml

HOL-Theorem-Prover · Nov 11, 2017 · d5df1bc · d5df1bc
1 parent adf95fe
commit d5df1bc
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tools/Holmake/poly/ProcessMultiplexor.sml b/tools/Holmake/poly/ProcessMultiplexor.sml
@@ -89,7 +89,7 @@ struct
   let
     open Posix.IO
     val (flags,_) = getfl fd
-    val rdr = mkTextReader { fd = fd, name = "", initBlkMode = true }
+    val rdr = mkTextReader { fd = fd, name = "", initBlkMode = not(O.allSet(O.nonblock,flags)) }
   in
     TextIO.mkInstream (TextIO.StreamIO.mkInstream (rdr, ""))
   end
@@ -219,9 +219,9 @@ struct
 
   fun fill_workq monitorfn (acc as (cmds, wl : 'a worklist)) =
     let
-      val {current_jobs,current_state,genjob,...} = wl
+      val {current_jobs,current_state,genjob,worklimit,...} = wl
     in
-      if Binarymap.numItems(#current_jobs wl) >= #worklimit wl then acc
+      if Binarymap.numItems current_jobs >= worklimit then acc
       else
         case genjob current_state of
             NoMoreJobs s' => (cmds, updstate s' wl)