# HG changeset patch # User Sylvain Thénault # Date 1448356615 -3600 # Node ID cf800aa43f481fdd4979ac2abb76aeb3e15cce7b # Parent fed8bd56f2234f297088f91d6dc1e638cb2cc405 [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. 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