pub const SERVER_SHUTDOWN_TIMEOUT: Duration;
The maximum time we’ll wait for a server to complete shutdown.