chiark / gitweb /
server/admin.c: Introduce `a_unlisten' to shut down the admin socket.