# HG changeset patch # User Goffi # Date 1732112987 -3600 # Node ID e0ae6ca806ba417d8af4bc6f31f12ac0b63adc90 # Parent cb32d8c6a040cf804901c3e5572ddb23be03ac8d plugin URI finder: make the regex ignore case. diff -r cb32d8c6a040 -r e0ae6ca806ba libervia/backend/plugins/plugin_misc_uri_finder.py --- a/libervia/backend/plugins/plugin_misc_uri_finder.py Wed Nov 20 15:29:16 2024 +0100 +++ b/libervia/backend/plugins/plugin_misc_uri_finder.py Wed Nov 20 15:29:47 2024 +0100 @@ -74,11 +74,12 @@ @return (dict[unicode, unicode]): map from key to found uri """ keys_re = "|".join(keys) - label_re = r'"(?P