changeset 10915 | cf800aa43f48 |
parent 10769 | c45f4bcff3aa |
child 11005 | f8417bd135ed |
--- a/server/sources/native.py Tue Jun 30 10:06:00 2015 +0200 +++ b/server/sources/native.py Tue Nov 24 10:16:55 2015 +0100 @@ -866,7 +866,7 @@ res = self._eid_type_source(cnx, eid, sql) if not isinstance(res, list): res = list(res) - res[-1] = self.decode_extid(extid) + res[-1] = self.decode_extid(res[-1]) res.append("system") return res