Cope with missing local feeds
commit7c16446de2dad42b50a20eab1ff1c19d4cdd7696
authorThomas Leonard <talex5@gmail.com>
Wed, 25 Aug 2010 18:04:45 +0000 (25 19:04 +0100)
committerThomas Leonard <talex5@gmail.com>
Wed, 25 Aug 2010 18:04:45 +0000 (25 19:04 +0100)
tree264d91634c1118393bec01e9a163f590280d0f61
parent2e43f7a2cfcfbd03fd418a97f02befc01a39eb76
Cope with missing local feeds

Just print a warning if an "extra" local feed is no longer available.
In the GUI, display the exception when the feed is selected, and allow
it to be removed.
zeroinstall/0launch-gui/properties.py
zeroinstall/injector/iface_cache.py