aboutsummaryrefslogtreecommitdiff
path: root/src/server.mli
AgeCommit message (Expand)Author
2020-12-30ucs: properly remove the unix socket when a signal is receivedAlban Gruin
2020-09-13ucs: move the server to its own moduleAlban Gruin