diff options
| author | Jose <jose@zeroc.com> | 2020-12-30 17:57:24 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2020-12-30 17:57:24 +0100 |
| commit | f9024ccb994273053492ec1b61890a1a3503313d (patch) | |
| tree | 8cb8acfcaa1bddeced42461a658784039c1fe89e /scripts/Util.py | |
| parent | Show available mappings if getByName fails (diff) | |
| download | ice-f9024ccb994273053492ec1b61890a1a3503313d.tar.bz2 ice-f9024ccb994273053492ec1b61890a1a3503313d.tar.xz ice-f9024ccb994273053492ec1b61890a1a3503313d.zip | |
Fix exception message
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index dce5c427f3b..9f2f9e32f89 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -807,7 +807,8 @@ class Mapping(object): @classmethod def getByName(self, name): if not name in self.mappings: - raise RuntimeError("unknown mapping `{0}', available mappings `{1}'".format(name, self.mappings)) + raise RuntimeError("unknown mapping: `{0}', known mappings: `{1}'".format( + name, list(self.mappings))) return self.mappings.get(name) @classmethod |