Commit 4905bb85 authored by Jim Fulton's avatar Jim Fulton

Try to make winbot happy

parent ee942336
...@@ -34,7 +34,7 @@ class HistoryStorage: ...@@ -34,7 +34,7 @@ class HistoryStorage:
for data in data: for data in data:
if sys.platform == 'win32': if sys.platform == 'win32':
# time.time() has a precision of 1ms on Windows. # time.time() has a precision of 1ms on Windows.
sleep(0.001) sleep(0.002)
revids.append(self._dostore(oid, revids[-1], MinPO(data))) revids.append(self._dostore(oid, revids[-1], MinPO(data)))
revids.reverse() revids.reverse()
del revids[-1] del revids[-1]
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment