use separate timer for install which can be stopped and started

1 files changed, 23 insertions, 0 deletions

diff --git a/timer.py b/timer.py
new file mode 100644
index 000000000..502a359a6
--- /dev/null
+++ b/timer.py
@@ -0,0 +1,23 @@
+import time
+
+class Timer:
+
+    def stop(self):
+	if self.startedAt > -1:
+	    self.total = self.total + (time.time() - self.startedAt)
+	    self.startedAt = -1
+
+    def start(self):
+	if self.startedAt == -1:
+	    self.startedAt = time.time()
+
+    def elapsed(self):
+	if self.startedAt == -1:
+	    return self.total
+	else:
+	    return self.total + (time.time() - self.startedAt)
+
+    def __init__(self, start = 1):
+	self.total = 0
+	self.startedAt = -1
+	self.start()