From a407036acd901c1fd2be5e165c8b9de03df49981 Mon Sep 17 00:00:00 2001
From: Qingping Hou <dave2008713@gmail.com>
Date: Sat, 22 Oct 2016 00:53:02 -0700
Subject: [PATCH] minor: always flush banner to stdout

---
 reader.lua | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/reader.lua b/reader.lua
index 1c49f39f3..5dcd86044 100755
--- a/reader.lua
+++ b/reader.lua
@@ -1,5 +1,5 @@
 #!./luajit
-print(string.format([[
+io.stdout:write(string.format([[
 ---------------------------------------------
                 launching...
   _  _____  ____                _
@@ -10,6 +10,7 @@ print(string.format([[
 
  [*] Current time: %s
 ]], os.date("%x-%X")))
+io.stdout:flush()
 
 
 -- load default settings