From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 14 Nov 2002 17:48:17 +0000 (+0000)
Subject: name fixes due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=96ba2b435795aba2ea44f7f35166acbdfc0155a6;p=helm.git

name fixes due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
---

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 26d830994..81ef46c7f 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -58,7 +58,7 @@ in
 let bad_request outchan =
   printf "INVALID REQUEST !!!!!\n\n";
   flush stdout;
-  Http.Daemon.respond_error ~status:(`Client_error `Bad_request) outchan;
+  Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan;
   flush outchan
 in
 
@@ -93,6 +93,6 @@ in
 
 printf "Proof Checker started and listening on port %d\n" port;
 flush stdout;
-Http.Daemon.start' ~port callback;
+Http_daemon.start' ~port callback;
 printf "Proof Checker is terminating, bye!\n"