equal
deleted
inserted
replaced
94 |
94 |
95 def reliable_mtime_of(stat_result, present_mtime): |
95 def reliable_mtime_of(stat_result, present_mtime): |
96 """same as `mtime_of`, but return None if the date might be ambiguous |
96 """same as `mtime_of`, but return None if the date might be ambiguous |
97 |
97 |
98 A modification time is reliable if it is older than "present_time" (or |
98 A modification time is reliable if it is older than "present_time" (or |
99 sufficiently in the futur). |
99 sufficiently in the future). |
100 |
100 |
101 Otherwise a concurrent modification might happens with the same mtime. |
101 Otherwise a concurrent modification might happens with the same mtime. |
102 """ |
102 """ |
103 file_mtime = mtime_of(stat_result) |
103 file_mtime = mtime_of(stat_result) |
104 file_second = file_mtime[0] |
104 file_second = file_mtime[0] |