src/Tools/WWW_Find/scgi_server.ML

--- a/src/Tools/WWW_Find/scgi_server.ML	Mon Sep 06 12:38:45 2010 +0200
+++ b/src/Tools/WWW_Find/scgi_server.ML	Mon Sep 06 13:06:27 2010 +0200
@@ -50,7 +50,7 @@
        else (tracing ("Waiting for a free thread...");
              ConditionVar.wait (thread_wait, thread_wait_mutex));
        add_thread
-         (Thread.fork
+         (Thread.fork   (* FIXME avoid low-level Poly/ML thread primitives *)
             (fn () => exception_trace threadf,
              [Thread.EnableBroadcastInterrupt true,
               Thread.InterruptState