From f74d8005ec4b927bb4b489f523564fb69eb09d27 Mon Sep 17 00:00:00 2001 From: Drew Erny Date: Wed, 24 May 2017 11:38:29 -0700 Subject: [PATCH] flush grcat writes --- grcat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/grcat b/grcat index dc48a59..f1d3e0d 100755 --- a/grcat +++ b/grcat @@ -273,7 +273,7 @@ while 1: clineprev = cline[i] nline = nline + colours['default'] try: - print(nline) + print(nline, flush=True) except IOError as e: if e.errno == errno.EPIPE: break