Fix bug: server was not being shut down correctly on interrupt.