def distro(self): if self._distro is None: from zeroinstall.injector.distro import get_host_distribution self._distro = get_host_distribution() return self._distro
def get_distro(): global _distro if _distro is None: _distro = get_host_distribution() return _distro
try:
root = qdom.parse(file(source))
except IOError, ex:
if ex.errno == 2:
raise InvalidInterface(
_("Feed not found. Perhaps this is a local feed that no longer exists? You can remove it from the list of feeds in that case."
), ex)
raise InvalidInterface(_("Can't read file"), ex)
except Exception, ex:
raise InvalidInterface(_("Invalid XML"), ex)
if local:
local_path = source
else:
local_path = None
feed = ZeroInstallFeed(root, local_path, distro.get_host_distribution())
feed.last_modified = int(os.stat(source).st_mtime)
if not local:
if feed.url != interface.uri:
raise InvalidInterface(
_("Incorrect URL used for feed.\n\n"
"%(feed_url)s is given in the feed, but\n"
"%(interface_uri)s was requested") % {
'feed_url': feed.url,
'interface_uri': interface.uri
})
interface._main_feed = feed
return feed
def distro(self):
if self._distro is None:
from zeroinstall.injector.distro import get_host_distribution
self._distro = get_host_distribution()
return self._distro