2018-08-23 10:23:19 -07:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
|
|
import sys
|
|
|
|
|
import time
|
|
|
|
|
|
|
|
|
|
start = time.time()
|
|
|
|
|
|
|
|
|
|
for line in sys.stdin:
|
|
|
|
|
seconds = time.time() - start
|
|
|
|
|
sys.stdout.write('%02d:%02d %s' % (seconds // 60, seconds % 60, line))
|
2018-08-31 00:07:54 -07:00
|
|
|
sys.stdout.flush()
|
