Back to project.

Raw source file available here .

import time
import sys


class Duration:

def __init__(self, description):
self.description = description

def __enter__(self):
self.start = time.time()
return self

def __exit__(self, exc_type, exc_val, exc_tb):
self.end = time.time()
self.duration = self.end - self.start
print(self.description, end=" ", file=sys.stderr)
print("took {} seconds.".format(self.duration), file=sys.stderr)