# HG changeset patch
# User Goffi <goffi@goffi.org>
# 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<label>[^"]+)"'
+        label_re = r'\"(?P<label>[^\"]+)\"'
         uri_re = re.compile(
             r"(?P<key>{keys_re})[ :]? +(?P<uri>xmpp:\S+)(?:.*use {label_re} label)?".format(
                 keys_re=keys_re, label_re=label_re
-            )
+            ),
+            re.IGNORECASE
         )
         path = os.path.normpath(path)
         if not os.path.isdir(path) or not os.path.isabs(path):
@@ -92,7 +93,7 @@
                     file_path = os.path.join(path, filename)
                     with open(file_path) as f:
                         for m in uri_re.finditer(f.read()):
-                            key = m.group("key")
+                            key = m.group("key").lower()
                             uri = m.group("uri")
                             label = m.group("label")
                             if key in found_uris: