changeset 53709 | 84522727f9d3 |
parent 51085 | d90218288d51 |
child 56303 | 4cc3f4db3447 |
--- a/src/Tools/WWW_Find/scgi_server.ML Wed Sep 18 11:36:12 2013 +0200 +++ b/src/Tools/WWW_Find/scgi_server.ML Wed Sep 18 13:18:51 2013 +0200 @@ -53,7 +53,7 @@ ConditionVar.wait (thread_wait, thread_wait_mutex)); add_thread (Thread.fork (* FIXME avoid low-level Poly/ML thread primitives *) - (fn () => exception_trace threadf, + (fn () => ML_Compiler.exn_trace threadf, [Thread.EnableBroadcastInterrupt true, Thread.InterruptState Thread.InterruptAsynchOnce])))