summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a6b46cb)
file creation time ("ctime: ")
continue
#print "txt:", s.rstrip().encode("iso-8859-1")
txt.append(s)
continue
#print "txt:", s.rstrip().encode("iso-8859-1")
txt.append(s)
+
+ if self.mtime < self.ctime:
+ log('%s: modification time cannot be before creation time' % self.rel_path)
+ self.ctime = self.mtime
+
self.contents = "".join(txt)
self.contents = "".join(txt)