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: make_still_working~7286
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d28cbfcfa04f1aafa9964636cf8cd3d232cfc061;p=helm.git

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

diff --git a/helm/software/daemons/whelp/searchEngine.ml b/helm/software/daemons/whelp/searchEngine.ml
index bb8c72297..e1e08bd4b 100644
--- a/helm/software/daemons/whelp/searchEngine.ml
+++ b/helm/software/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