diff -r f0b61ed1d10d -r c6a17bba1da3 tools/userland-mangler --- a/tools/userland-mangler Thu Jul 07 19:05:29 2011 -0700 +++ b/tools/userland-mangler Tue May 10 08:58:55 2011 -0700 @@ -121,11 +121,15 @@ fmri = pkg.fmri.PkgFmri(manifest.attributes['pkg.fmri']) availability = fmri.pkg_name + community = None if 'info.upstream_url' in manifest.attributes: community = manifest.attributes['info.upstream_url'] + source = None if 'info.source_url' in manifest.attributes: source = manifest.attributes['info.source_url'] + elif 'info.repository_url' in manifest.attributes: + source = manifest.attributes['info.repository_url'] # create a directory to write to destdir = os.path.dirname(dest)