pub const WS_DISCONNECT_TIMEOUT: Duration;
Maximum time the client waits for the feed handler task to drain on disconnect before forcibly aborting.