Constant WSMAN_FLAG_DELETE_SERVER_SESSION 

pub const WSMAN_FLAG_DELETE_SERVER_SESSION: WSManShellFlag;