branch | DBRToolsDev |
changeset 284 | 0792141abac7 |
parent 242 | 9fd4819bf104 |
child 285 | 6a928cf9e181 |
--- a/dbrtools/dbr/dbrenv.py Sun Jun 13 15:29:20 2010 +0100 +++ b/dbrtools/dbr/dbrenv.py Sun Jun 13 18:33:42 2010 +0100 @@ -64,6 +64,8 @@ for file in common: if(int(self.db[file]['time']) != int(other.db[file]['time'])): touched.add(file) + if(int(self.db[file]['time']) ==0 or int(other.db[file]['time']) == 0): #workaround for zipped dbs + touched.add(file) sizechanged = set() for file in common: