equal
deleted
inserted
replaced
755 # multiple of n seconds |
755 # multiple of n seconds |
756 clock = time.time() |
756 clock = time.time() |
757 start = int(clock) - (int(clock) % delaywrite) |
757 start = int(clock) - (int(clock) % delaywrite) |
758 end = start + delaywrite |
758 end = start + delaywrite |
759 time.sleep(end - clock) |
759 time.sleep(end - clock) |
|
760 now = end # trust our estimate that the end is near now |
760 break |
761 break |
761 |
762 |
762 st.write(parsers.pack_dirstate(self._map, self._copymap, self._pl, now)) |
763 st.write(parsers.pack_dirstate(self._map, self._copymap, self._pl, now)) |
763 self._nonnormalset = nonnormalentries(self._map) |
764 self._nonnormalset = nonnormalentries(self._map) |
764 st.close() |
765 st.close() |