]> matita.cs.unibo.it Git - helm.git/commitdiff
reload/remove all stylesheets now prints also which stylesheets are
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:42:46 +0000 (15:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 25 Mar 2003 15:42:46 +0000 (15:42 +0000)
going to be reloaded/removed (close #47)

helm/uwobo/uwobo.ml

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