2018-08-23 19:23:19 +02: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 09:07:54 +02:00
|
|
|
sys.stdout.flush()
|
