diff options
author | Alban Gruin | 2020-12-30 16:36:23 +0100 |
---|---|---|
committer | Alban Gruin | 2020-12-30 16:36:23 +0100 |
commit | f6ee00c1b33b35f6adcd8c27cc4013636fd202a4 (patch) | |
tree | 5ed3960bd93e55b1d88ac7b1aa7003b8a35f4279 /src/server.ml | |
parent | 7a3cd6d029e73a28e1229ac24edb4c5bd87162b9 (diff) |
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 <alban at pa1ch dot fr>
Diffstat (limited to 'src/server.ml')
-rw-r--r-- | src/server.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server.ml b/src/server.ml index 2c1c4b9..d3cf00e 100644 --- a/src/server.ml +++ b/src/server.ml @@ -47,7 +47,7 @@ let respond ?(mime="text/html; charset=utf-8") ?(status=`OK) body = let headers = Header.init_with "Content-Type" mime in Server.respond_string ~status ~body ~headers () -let serve base_url celcat_url mode = +let serve base_url celcat_url mode stop = let fetch = fetch celcat_url in let callback _conn req _body = let meth = Request.meth req and @@ -75,4 +75,4 @@ let serve base_url celcat_url mode = | _ -> Server.respond_string ~status:`Method_not_allowed ~body:"Method not allowed\n" () in - Server.create ~mode (Server.make ~callback ()) + Server.create ~stop ~mode (Server.make ~callback ()) |