aboutsummaryrefslogtreecommitdiffstats
path: root/push.py
diff options
context:
space:
mode:
authorMarius Halden <marius.h@lden.org>2015-06-10 15:02:06 +0200
committerMarius Halden <marius.h@lden.org>2015-06-10 15:02:06 +0200
commit282dbde283a2b7d377be9ffc22bf4ef9ea45808f (patch)
tree0e23440d680faaa45813801c130b7d576a0f4fa9 /push.py
parent0b3a9f9eea0cec11d44631dd45afe82c81fc2286 (diff)
downloadpush-client-282dbde283a2b7d377be9ffc22bf4ef9ea45808f.tar.gz
push-client-282dbde283a2b7d377be9ffc22bf4ef9ea45808f.tar.bz2
push-client-282dbde283a2b7d377be9ffc22bf4ef9ea45808f.tar.xz
It was the best of times, it was the worst of times
Diffstat (limited to 'push.py')
-rwxr-xr-xpush.py3
1 files changed, 2 insertions, 1 deletions
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: