]> matita.cs.unibo.it Git - helm.git/commitdiff
added feedback for reload/remove methods (close #39)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)
helm/uwobo/uwobo.ml

index a88f9484fc4b4bf1647a5b03b086efbe6d1ade03..41098bf0f3dcf87aadf92a86097c3871038160ab 100644 (file)
@@ -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
 ;;