GitList

Browse code

(cherry picked from commit 771768966f870f4e96f529f2a67e17f16da90805)

Matt Clay authored on 2018/08/31 16:07:54
Showing 1 changed files

@@ -8,3 +8,4 @@ start = time.time()
                      for line in sys.stdin:
                          seconds = time.time() - start
                          sys.stdout.write('%02d:%02d %s' % (seconds // 60, seconds % 60, line))
                     +    sys.stdout.flush()