From d731bfc4eff6e0de05d514daff05330680992294 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jan 2003 15:45:39 +0000
Subject: [PATCH] catch SIGTERM and log a "bye" message

---
 helm/uwobo/src/ocaml/uwobo.ml | 2 ++
 1 file changed, 2 insertions(+)

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 ()));
-- 
2.39.2