diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/Server/Plugins/Packages/Apt.py | 4 |
1 files changed, 3 insertions, 1 deletions
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') |