equal
deleted
inserted
replaced
61 common = db1files & db2files |
61 common = db1files & db2files |
62 |
62 |
63 touched = set() |
63 touched = set() |
64 for file in common: |
64 for file in common: |
65 if(int(self.db[file]['time']) != int(other.db[file]['time'])): |
65 if(int(self.db[file]['time']) != int(other.db[file]['time'])): |
|
66 touched.add(file) |
|
67 if(int(self.db[file]['time']) ==0 or int(other.db[file]['time']) == 0): #workaround for zipped dbs |
66 touched.add(file) |
68 touched.add(file) |
67 |
69 |
68 sizechanged = set() |
70 sizechanged = set() |
69 for file in common: |
71 for file in common: |
70 if(int(self.db[file]['size']) != int(other.db[file]['size'])): |
72 if(int(self.db[file]['size']) != int(other.db[file]['size'])): |