Exit when Server.stop() is called.

Don't merge this if you don't know what this affects. I'm not sure if these two lines would cause errors.