From b945f2bdae3790c22fe3ed11f5c5d0164306e261 Mon Sep 17 00:00:00 2001 From: Alexander Sulfrian Date: Fri, 1 Mar 2013 01:07:05 +0100 Subject: Packages/Apt: add pin attribute for extra pinning information --- src/lib/Server/Plugins/Packages/Apt.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/lib/Server/Plugins/Packages/Apt.py b/src/lib/Server/Plugins/Packages/Apt.py index 7d7a42304..bbb84ad8e 100644 --- a/src/lib/Server/Plugins/Packages/Apt.py +++ b/src/lib/Server/Plugins/Packages/Apt.py @@ -15,6 +15,7 @@ class AptSource(Source): def __init__(self, basepath, xsource, config): Source.__init__(self, basepath, xsource, config) + self.pin = xsource.get('pin', '') self.pkgnames = set() self.recommends = dict() @@ -22,7 +23,8 @@ class AptSource(Source): 'version': self.version, 'components': self.components, 'arches': self.arches, - 'priority': self.priority}] + 'priority': self.priority, + 'pin': self.pin}] def save_state(self): cache = file(self.cachefile, 'wb') -- cgit v1.2.3-1-g7c22