diff options
| author | Joe George <joe@zeroc.com> | 2020-06-09 12:03:20 -0400 |
|---|---|---|
| committer | Joe George <joe@zeroc.com> | 2020-06-09 12:07:24 -0400 |
| commit | 220f32b9b1d947b03f140b7a70334ca7341e39ea (patch) | |
| tree | 0ed548499426e9a0728bd31b73ca3b6a953be90b /scripts/Util.py | |
| parent | Fix whitespace in SECURITY.md (diff) | |
| download | ice-220f32b9b1d947b03f140b7a70334ca7341e39ea.tar.bz2 ice-220f32b9b1d947b03f140b7a70334ca7341e39ea.tar.xz ice-220f32b9b1d947b03f140b7a70334ca7341e39ea.zip | |
Escape xml testcase name
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("/", "."))) |