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. Please vote to merge this.

Vote by writing a message below.