Constant HTTP_WEB_SOCKET_SHUTDOWN_OPERATION 

pub const HTTP_WEB_SOCKET_SHUTDOWN_OPERATION: HTTP_WEB_SOCKET_OPERATION;