SIGINT beendet Server sauber.