From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jan 2003 14:48:50 +0000 (+0000)
Subject: use new Http_tcp_server.fork server instead of (now) deprecated
X-Git-Tag: v0_3_99~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1b41bb30966254e86fdc4a044331b301cfb7a029;p=helm.git

use new Http_tcp_server.fork server instead of (now) deprecated
Http_tcp_server.ocaml_builtin
---

diff --git a/helm/DEVEL/ocaml-http/http_daemon.ml b/helm/DEVEL/ocaml-http/http_daemon.ml
index 5b621bf55..39a74bb65 100644
--- a/helm/DEVEL/ocaml-http/http_daemon.ml
+++ b/helm/DEVEL/ocaml-http/http_daemon.ml
@@ -353,7 +353,7 @@ let chdir_to_document_root = function (* chdir to document root *)
 
 let server_of_mode = function
   | `Single -> Http_tcp_server.simple
-  | `Fork   -> Http_tcp_server.ocaml_builtin
+  | `Fork   -> Http_tcp_server.fork
   | `Thread -> Http_tcp_server.thread
 
   (* TODO support also chroot to 'root', not only chdir *)