server/tripe.c, server/admin.c: Add a way to end the main loop.