chiark / gitweb /
Only do an update if the vercode changes
authorCiaran Gultnieks <ciaran@ciarang.com>
Tue, 27 Aug 2013 15:42:25 +0000 (16:42 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 27 Aug 2013 15:42:25 +0000 (16:42 +0100)
commit9137a611e0877a984d214cbc1857bc0def7f0e60
treeb4d1cba174c39bdc13d970ce97f2df33f613dd44
parent09b76a0bf4217a7ac736bc4a96be8ff3f6aefc3f
Only do an update if the vercode changes

(mainly to work around a recently introduced issue where the name
changes and then changes straight back!)
fdroidserver/checkupdates.py