The server is done (modulo testing)