Constant WBEMPATH_INFO_PATH_HAD_SERVER 

pub const WBEMPATH_INFO_PATH_HAD_SERVER: WBEM_PATH_STATUS_FLAG;