flush !outchan)
;;
-let callback ((req : Http_types.request), outchan') =
+let callback (req : Http_types.request) outchan' =
match req#path with
| "/proofCheck" ->
begin
fprintf outchan' "%s" (html_preamble uri);
flush outchan';
(try
- ignore (CicTypeChecker.typecheck (UriManager.uri_of_string uri));
+ ignore (CicTypeChecker.typecheck ~trust:false
+ (UriManager.uri_of_string uri));
with e ->
fprintf outchan' "%s\n" (Printexc.to_string e);
flush outchan');
in
-let callback req ch =
- HExtlib.finally
- (fun () -> try close_out ch with Sys_error _ -> ())
- callback (req, ch)
-
-in
printf "Proof Checker started and listening on port %d\n" port;
flush stdout;
CicEnvironment.set_trust (fun _ -> false);
-let d_spec = Http_daemon.daemon_spec ~port ~mode:`Fork ~callback () in
+let d_spec = Http_daemon.daemon_spec ~port ~mode:`Fork ~callback ~auto_close:true () in
Http_daemon.main d_spec;
printf "Proof Checker is terminating, bye!\n"