More tests for ServerProtocol