use monotonically increasing time if available for undo time estimate

thomasballinger · thomasballinger · commit 408260dff7a2 · 2015-01-25T17:52:45.000-05:00
diff --git a/bpython/repl.py b/bpython/repl.py
@@ -57,12 +57,13 @@
 class RuntimeTimer(object):
     def __init__(self):
         self.reset_timer()
+        self.time = time.monotonic if hasattr(time, 'monotonic') else time.time
 
     def __enter__(self):
-        self.start = time.time()
+        self.start = self.time()
 
     def __exit__(self, ty, val, tb):
-        self.last_command = time.time() - self.start
+        self.last_command = self.time() - self.start
         self.running_time += self.last_command
         return False
 
