dbrtools/dbr/dbrenv.py
branchDBRToolsDev
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: