The public API for ServerManager