[server/sources] fix name error in eid_type_source_pre_131
i.e. the eid_type_source implementation used when some pre 3.13.1
database is detected. Regression from 5fbdbbe51867.
--- 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