aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorAlban Gruin2020-12-30 16:36:23 +0100
committerAlban Gruin2020-12-30 16:36:23 +0100
commitf6ee00c1b33b35f6adcd8c27cc4013636fd202a4 (patch)
tree5ed3960bd93e55b1d88ac7b1aa7003b8a35f4279 /dune-project
parent7a3cd6d029e73a28e1229ac24edb4c5bd87162b9 (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 'dune-project')
0 files changed, 0 insertions, 0 deletions