--- a/src/Tools/WWW_Find/scgi_server.ML Wed Sep 21 16:04:29 2011 +0200
+++ b/src/Tools/WWW_Find/scgi_server.ML Wed Sep 21 17:50:25 2011 +0200
@@ -35,7 +35,7 @@
fun server server_prefix port =
let
- val passive_sock = SocketUtil.init_server_socket (SOME "localhost") port;
+ val passive_sock = Server_Socket.init (SOME "localhost") port;
val thread_wait = ConditionVar.conditionVar ();
val thread_wait_mutex = Mutex.mutex ();
@@ -63,7 +63,7 @@
let
val (sock, _)= Socket.accept passive_sock;
- val (sin, sout) = SocketUtil.make_streams sock;
+ val (sin, sout) = Socket_IO.make_streams sock;
fun send msg = BinIO.output (sout, Byte.stringToBytes msg);
fun send_log msg = (tracing msg; send msg);