Server now cleanly exits on Ctrl-C