Remove leading zeros in bad id

This commit is contained in:
clerie 2024-07-21 12:45:03 +02:00
parent 61d1b5454b
commit bd86ab8b52

View File

@ -53,7 +53,7 @@ async fn get_baeder_names() -> Result<HashMap<String, String>, String> {
for c in r.captures_iter(baedernames_body.as_str()) {
baedernames.insert(
c.get(1).unwrap().as_str().to_string(), // id
c.get(1).unwrap().as_str().trim_start_matches('0').to_string(), // id
c.get(2).unwrap().as_str().to_string(), // name
);
}