cleanup
The server can now be terminated from the command line (with q or Q)