Cope with the distribution cache changing while we're running
commit71866325d9750fcf9fd855108d55ca76cf41cb84
authorThomas Leonard <talex5@gmail.com>
Sun, 2 May 2010 17:31:36 +0000 (2 18:31 +0100)
committerThomas Leonard <talex5@gmail.com>
Sun, 2 May 2010 20:30:21 +0000 (2 21:30 +0100)
tree34e64bcf5e1ab29bdbd451812559b8ed80ff85e3
parent18df20b610e11869d097674c6d4564deac2cfdae
Cope with the distribution cache changing while we're running

DistributionImplementation.installed rechecks, in case the user
installs the package manually while 0launch is running.
tests/testdistro.py
zeroinstall/injector/distro.py
zeroinstall/injector/model.py