exit cleanly from server on ctrl-c