From 828ef0c1de3cd18634ca2a5070818e521fb5f19e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 25 Mar 2003 15:42:46 +0000 Subject: [PATCH] reload/remove all stylesheets now prints also which stylesheets are going to be reloaded/removed (close #47) --- helm/uwobo/uwobo.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml index 41098bf0f..9dc9b5394 100644 --- a/helm/uwobo/uwobo.ml +++ b/helm/uwobo/uwobo.ml @@ -62,7 +62,8 @@ let respond_html body outchan = (** perform an 'action' that can be applied to a list of keys or, if no keys was given, to all keys *) -let act_on_keys keys_param styles logger per_key_action all_keys_action logmsg +let act_on_keys + keys_param styles logger per_key_action all_keys_action all_keys logmsg = let keys = try @@ -71,7 +72,8 @@ let act_on_keys keys_param styles logger per_key_action all_keys_action logmsg in match keys with | [] -> (* no key provided, act on all stylesheets *) - logger#log (sprintf "%s all stylesheets ..." logmsg); + logger#log (sprintf "%s all stylesheets (keys = %s) ..." + logmsg (String.concat ", " all_keys)); (try all_keys_action () with e -> logger#log (Printexc.to_string e)); logger#log (sprintf "Done! (all stylesheets)") | keys -> @@ -326,6 +328,7 @@ let main () = arg styles logger (fun key -> log_libxslt_msgs logger (styles#remove key)) (fun () -> log_libxslt_msgs logger styles#removeAll) + styles#keys "removing"; output_string res_pipe (logger#asHtml); raise Restart_HTTP_daemon @@ -337,6 +340,7 @@ let main () = arg styles logger (fun key -> log_libxslt_msgs logger (styles#reload key)) (fun () -> log_libxslt_msgs logger styles#reloadAll) + styles#keys "reloading"; output_string res_pipe (logger#asHtml); raise Restart_HTTP_daemon -- 2.39.2