am 18cbc618: am 907c0563: Merge "Error in search engine script"

* commit '18cbc618229f91b5d84a36dd7a95c2628b60da5e':
  Error in search engine script
diff --git a/tools/get_search_engines.py b/tools/get_search_engines.py
index bd6e5f8..86393f1 100755
--- a/tools/get_search_engines.py
+++ b/tools/get_search_engines.py
@@ -86,7 +86,7 @@
     str = str.strip('"')
     str = str.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;')
     str = str.replace('"', '&quot;').replace('\'', '&apos;')
-    str = re.sub(r'\\x([a-fA-F0-9]+)', r'&#x\1;', str)
+    str = re.sub(r'\\x([a-fA-F0-9]{1,4})', r'&#x\1;', str)
 
     return str