From d0d807c69b51b1248e1482d723d982b63e4d9534 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 30 May 2006 08:11:37 +0000 Subject: [PATCH] ported to the latest ocaml-http API --- helm/software/daemons/proofChecker/proofChecker.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/daemons/proofChecker/proofChecker.ml b/helm/software/daemons/proofChecker/proofChecker.ml index c4a6391cc..928881373 100644 --- a/helm/software/daemons/proofChecker/proofChecker.ml +++ b/helm/software/daemons/proofChecker/proofChecker.ml @@ -135,6 +135,7 @@ in printf "Proof Checker started and listening on port %d\n" port; flush stdout; CicEnvironment.set_trust (fun _ -> false); -Http_daemon.start' ~port ~mode:`Fork callback ; +let d_spec = Http_daemon.daemon_spec ~port ~mode:`Fork ~callback () in +Http_daemon.main d_spec; printf "Proof Checker is terminating, bye!\n" -- 2.39.2