DefaultWebSocketManagerOptionsSummaryDefault options used by the managerDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptionsDefaultWebSocketManagerOptions: OptionalWebSocketManagerOptions