WebServer::mutex is now private