made server quit on Ctrl-C