add filterXMLString

diff --git a/lib/python/Tools/XMLTools.py b/lib/python/Tools/XMLTools.py
index 05513622d839ef39dd755cfe229b326cd05cb8a9..9f316d74448598f36127115fef02a9721496510d 100644 (file)
--- a/lib/python/Tools/XMLTools.py
+++ b/lib/python/Tools/XMLTools.py
@@ -23,3 +23,6 @@ def mergeText(nodelist):
                        rc = rc + node.data
        return rc
 
+def filterXMLString(text):
+       # TODO: better solutions?
+       return text.replace('"', "&quot;").replace('<', '&lt;')