From 282dbde283a2b7d377be9ffc22bf4ef9ea45808f Mon Sep 17 00:00:00 2001
From: Marius Halden <marius.h@lden.org>
Date: Wed, 10 Jun 2015 15:02:06 +0200
Subject: It was the best of times, it was the worst of times

---
 push.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/push.py b/push.py
index 802946e..96a2829 100755
--- a/push.py
+++ b/push.py
@@ -282,10 +282,11 @@ class PushClient:
             finally:
                 ws.close()
 
+            print('Waiting for restart…', end='', flush=True)
             for i in reversed(range(1, 6)):
                 print(' %s' % i, flush=True, end='')
                 time.sleep(1)
-            print('\n', end='')
+            print('\n', end='', flush=True)
 
 def debug(msg):
     if enable_debug:
-- 
cgit v1.2.3