author | Martin von Zweigbergk <martinvonz@google.com> |
Sun, 02 Dec 2018 13:45:20 -0800 | |
changeset 40781 | e115a6452b41 |
parent 34316 | 12b355964de8 |
child 43076 | 2372284d9457 |
permissions | -rw-r--r-- |
from __future__ import absolute_import import os import time class mocktime(object): def __init__(self, increment): self.time = 0 self.increment = [float(s) for s in increment.split()] self.pos = 0 def __call__(self): self.time += self.increment[self.pos % len(self.increment)] self.pos += 1 return self.time def uisetup(ui): time.time = mocktime(os.environ.get('MOCKTIME', '0.1'))