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
CicCooking.init();
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"