From aee95cfe686a2f2d71d905be62c94e7046c64fee Mon Sep 17 00:00:00 2001 From: Sebastian Pipping Date: Thu, 14 Jan 2010 00:01:39 +0100 Subject: Planet config writer: Filter out unoffical overlays --- write-overlays-ini.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/write-overlays-ini.py b/write-overlays-ini.py index 0e13d53..9136f14 100755 --- a/write-overlays-ini.py +++ b/write-overlays-ini.py @@ -38,6 +38,10 @@ for repo in repositories: else: feed_uri_to_name[_feed_uri] = set([repo_name]) + if repo.attrib.get('status', 'unofficial') != 'official': + print ' Info: Skipping unofficial overlay "%s"' % repo_name + continue + def shorten_down(l): pos = l[0].find('-') if pos != -1: @@ -64,8 +68,6 @@ for repo in repositories: overlays_ini.set(_feed_uri, 'name', repo_name) - # _official = (repo.attrib.get('type', 'unofficial') == 'official') and 'yes' or 'no' - _owner_type = repo.find('owner').attrib.get('type', 'project') if _owner_type == 'person': overlays_ini.set(_feed_uri, 'developer', 'yes') -- cgit v1.2.3-65-gdbad