Constant WSMAN_FLAG_DELETE_SERVER_SESSION

pub const WSMAN_FLAG_DELETE_SERVER_SESSION: WSManShellFlag = 2i32;