chiark / gitweb /
Handle repository type/location changes gracefully
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 13 Aug 2012 16:59:03 +0000 (17:59 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 13 Aug 2012 16:59:03 +0000 (17:59 +0100)
commit817e2f2da583b7eb6cc7eb7356d230d6309f9739
treecb9017c96a825ecdfc1b8c9b7dca15fd8999bdc6
parent58a9fc3c1adf6629158eacf37c77d64fd3c7dd8a
Handle repository type/location changes gracefully

(by detecting the change and deleting the existing 'cached' directory)
fdroidserver/common.py