From 422b5f054c56456600cb72d7d8954b0afabec1ce Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 25 Mar 2003 15:26:42 +0000 Subject: [PATCH] added feedback for reload/remove methods (close #39) --- helm/uwobo/uwobo.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml index a88f9484f..41098bf0f 100644 --- a/helm/uwobo/uwobo.ml +++ b/helm/uwobo/uwobo.ml @@ -72,12 +72,14 @@ let act_on_keys keys_param styles logger per_key_action all_keys_action logmsg match keys with | [] -> (* no key provided, act on all stylesheets *) logger#log (sprintf "%s all stylesheets ..." logmsg); - (try all_keys_action () with e -> logger#log (Printexc.to_string e)) + (try all_keys_action () with e -> logger#log (Printexc.to_string e)); + logger#log (sprintf "Done! (all stylesheets)") | keys -> List.iter (fun key -> (* act on a single stylesheet *) logger#log (sprintf "%s stylesheet %s" logmsg key); - (try per_key_action key with e -> logger#log (Printexc.to_string e))) + (try per_key_action key with e -> logger#log (Printexc.to_string e)); + logger#log (sprintf "Done! (stylesheet %s)" key)) keys ;; -- 2.39.2