From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jan 2003 15:45:39 +0000 (+0000)
Subject: catch SIGTERM and log a "bye" message
X-Git-Tag: v0_3_99~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d731bfc4eff6e0de05d514daff05330680992294;p=helm.git

catch SIGTERM and log a "bye" message
---

diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml
index a08e76567..792e3e64a 100644
--- a/helm/uwobo/src/ocaml/uwobo.ml
+++ b/helm/uwobo/src/ocaml/uwobo.ml
@@ -240,6 +240,8 @@ let main () =
     end
   in
   at_exit die_nice;
+  ignore (Sys.signal Sys.sigterm
+    (Sys.Signal_handle (fun _ -> raise Sys.Break)));
   syslogger#log `Notice
     (sprintf "%s started and listening on port %d" daemon_name port);
   syslogger#log `Notice (sprintf "current directory is %s" (Sys.getcwd ()));