diff -r fed8bd56f223 -r cf800aa43f48 server/sources/native.py --- 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