src/Pure/ML-Systems/multithreading_polyml.ML

--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Jan 02 16:32:52 2008 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Jan 02 16:32:53 2008 +0100
@@ -38,8 +38,13 @@
   else ();
 
 val available = true;
+
 val max_threads = ref 1;
 
+fun max_threads_value () =
+  let val m = ! max_threads
+  in if m <= 0 then Thread.numProcessors () else m end;
+
 
 (* misc utils *)