made server exit on ctrl-C (again)