From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 30 May 2006 08:14:33 +0000 (+0000)
Subject: ZACK: ported to the latest ocaml-http API
X-Git-Tag: 0.4.95@7852~1389
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=13187c20428b720dee4cdf4282f53f7d4666c455;p=helm.git

ZACK: ported to the latest ocaml-http API
---

diff --git a/daemons/whelp/searchEngine.ml b/daemons/whelp/searchEngine.ml
index bb8c72297..e1e08bd4b 100644
--- a/daemons/whelp/searchEngine.ml
+++ b/daemons/whelp/searchEngine.ml
@@ -520,6 +520,7 @@ let _ =
   in
   restore_environment ();
   read_notation ();
-  Http_daemon.start' ~port (callback dbd);
+  let d_spec = Http_daemon.daemon_spec ~port ~callback:(callback dbd) () in
+  Http_daemon.main d_spec;
   printf "%s is terminating, bye!\n" daemon_name