am 56c647bc: am 18cbc618: am 907c0563: Merge "Error in search engine script"
* commit '56c647bc14d70cb0abb7b8e8bb05f5dd96b1796d':
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('&', '&').replace('<', '<').replace('>', '>')
str = str.replace('"', '"').replace('\'', ''')
- 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