let xmluri = req#param "xmluri" in
let keys = Pcre.split ~pat:"," (req#param "keys") in
(* notation: "local" parameters are those defined on a per-stylesheet
- pasis (i.e. param.key.param=value), "global" parameters are those
+ basis (i.e. param.key.param=value), "global" parameters are those
defined for all stylesheets (i.e. param.param=value) *)
let (user_params, props) = parse_apply_params req#params in
let profile_params =
return_error ("Uncaught exception: " ^ (Printexc.to_string exc)) outchan
;;
-let callback
- ~syslogger ~styles ~cmd_pipe ~res_pipe () (req: Http_types.request) outchan
-=
- HExtlib.finally
- (fun () -> try close_out outchan with Sys_error _ -> ())
- (callback ~syslogger ~styles ~cmd_pipe ~res_pipe () req) outchan
-
(* UWOBO's startup *)
let main () =
(* (1) system logger *)
requests until it will get killed by father *)
let d_spec = Http_daemon.daemon_spec
~port ~mode:`Fork
- ~callback:(callback ~syslogger ~styles ~cmd_pipe ~res_pipe ()) ()
+ ~callback:(callback ~syslogger ~styles ~cmd_pipe ~res_pipe ())
+ ~auto_close:true
+(* FG: we set a timeout of 900 secs, which is the default of wget *)
+(* : 300 secs is too short for some proofs like pr0_confluence.con.body *)
+ ~timeout:(Some 900) ()
in
Http_daemon.main d_spec
| _ (* < 0 *) -> (* fork failed :-((( *)