Constant WS_CHANNEL_PROPERTY_IS_SESSION_SHUT_DOWN 

pub const WS_CHANNEL_PROPERTY_IS_SESSION_SHUT_DOWN: WS_CHANNEL_PROPERTY_ID;