Constant WS_CHANNEL_PROPERTY_HTTP_SERVER_SPN 

pub const WS_CHANNEL_PROPERTY_HTTP_SERVER_SPN: WS_CHANNEL_PROPERTY_ID;