]> matita.cs.unibo.it Git - helm.git/commitdiff
- better pretty printing of exceptions (added red color)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 13:35:53 +0000 (13:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 13:35:53 +0000 (13:35 +0000)
- added "-update" command line parameter for batch updating

helm/http_getter/main.ml

index 974d029e5e28ca7aa22331d7045294f15c0e3c38..699c685bb6c56cc840306cc2d84bbe96a02950b6 100644 (file)
@@ -115,9 +115,9 @@ let mk_return_fun pp_fun contype msg outchan =
   Http_daemon.respond
     ~body:(pp_fun msg) ~headers:["Content-Type", contype] outchan
 let pp_error s =
-  sprintf "<html><body>Http Getter error: %s</body></html>" s
+  sprintf "<html><body>Http Getter error: <span style=\"color:red\">%s</span></body></html>" s
 let pp_internal_error s =
-  sprintf "<html><body>Http Getter Internal error: %s</body></html>" s
+  sprintf "<html><body>Http Getter Internal error: <span style=\"color:red\">%s</span></body></html>" s
 let pp_msg s = sprintf "<html><body>%s</body></html>" s
 let null_pp s = s
 let return_html_error = mk_return_fun pp_error "text/html"
@@ -342,13 +342,20 @@ let main () =
   Http_getter_env.reload ();
   print_string (Http_getter_env.env_to_string ());
   flush stdout;
-  at_exit Http_getter.close_maps;
-  Sys.catch_break true;
-  try
-    Http_daemon.start' ~mode:`Thread
-      ~timeout:(Some 600) ~port:(Helm_registry.get_int "getter.port")
-      callback
-  with Sys.Break -> ()  (* 'close_maps' already registered with 'at_exit' *)
+  let batch_update =
+    try Sys.argv.(1) = "-update" with Invalid_argument _ -> false
+  in
+  if batch_update then  (* batch mode: performs update and exit *)
+    Http_getter.update ~logger:Http_getter.stdout_logger ()
+  else begin            (* daemon mode: start http daemon *)
+    at_exit Http_getter.close_maps;
+    Sys.catch_break true;
+    try
+      Http_daemon.start' ~mode:`Thread
+        ~timeout:(Some 600) ~port:(Helm_registry.get_int "getter.port")
+        callback
+    with Sys.Break -> ()  (* 'close_maps' already registered with 'at_exit' *)
+  end
 
 let _ = main ()