Adjusted Server doctest, and improved Server.boot() test.