DefaultWebSocketManagerOptionsDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptionsDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptionsSummaryDefault options used by the managerSummaryDefault options used by the manager
DefaultWebSocketManagerOptionsDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptionsDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptionsSummaryDefault options used by the managerSummaryDefault options used by the manager