From f6ee00c1b33b35f6adcd8c27cc4013636fd202a4 Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Wed, 30 Dec 2020 16:36:23 +0100 Subject: ucs: properly remove the unix socket when a signal is received When using a unix socket to serve µCS, the file would not be removed when the server was shut down. Teach µCS to catch sigints and sigterms, and call unlink on the socket if it exists. Signed-off-by: Alban Gruin --- src/server.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/server.mli') diff --git a/src/server.mli b/src/server.mli index af3f0e8..cf3bac2 100644 --- a/src/server.mli +++ b/src/server.mli @@ -15,4 +15,4 @@ * along with ucs. If not, see . *) -val serve : string -> Uri.t -> Conduit_lwt_unix.server -> unit Lwt.t +val serve : string -> Uri.t -> Conduit_lwt_unix.server -> unit Lwt.t -> unit Lwt.t -- cgit v1.2.1