]> matita.cs.unibo.it Git - helm.git/commitdiff
ZACK: ported to the latest ocaml-http API
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 08:14:33 +0000 (08:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 08:14:33 +0000 (08:14 +0000)
daemons/whelp/searchEngine.ml

index bb8c722977f7b829e817ef6cc653e8266bc81b5c..e1e08bd4b7bb831fce50df58a3717b0ba28f081d 100644 (file)
@@ -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