From: Stefano Zacchiroli 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 ()));