diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 796d18dc855..1e8b2b127d8 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -1906,7 +1906,7 @@ class Result: if hostname: name += " on " + hostname out.write(' <testcase name="{0}" time="{1:.9f}" classname="{2}.{3}">\n' - .format(name, + .format(escapeXml(name), d, self.testsuite.getMapping(), self.testsuite.getId().replace("/", "."))) |