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.mli | |
| 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.mli')
| -rw-r--r-- | src/server.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 <http://www.gnu.org/licenses/>. *) -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 |