server/admin.c: Introduce `a_unlisten' to shut down the admin socket.
[tripe] / debian / tripe.dirs
1 etc/tripe/peers
2 etc/tripe/services