rust/rhg/src/main.rs
changeset 47979 cff41e168c25
parent 47413 6e49769b7f97
child 48089 f11f233546ce
equal deleted inserted replaced
47978:6961eca0b3ee 47979:cff41e168c25
   565     let mut unsupported = enabled;
   565     let mut unsupported = enabled;
   566     for supported in SUPPORTED_EXTENSIONS {
   566     for supported in SUPPORTED_EXTENSIONS {
   567         unsupported.remove(supported);
   567         unsupported.remove(supported);
   568     }
   568     }
   569 
   569 
   570     if let Some(ignored_list) =
   570     if let Some(ignored_list) = config.get_list(b"rhg", b"ignored-extensions")
   571         config.get_simple_list(b"rhg", b"ignored-extensions")
       
   572     {
   571     {
   573         for ignored in ignored_list {
   572         for ignored in ignored_list {
   574             unsupported.remove(ignored);
   573             unsupported.remove(ignored.as_slice());
   575         }
   574         }
   576     }
   575     }
   577 
   576 
   578     if unsupported.is_empty() {
   577     if unsupported.is_empty() {
   579         Ok(())
   578         Ok(())