diff options
author | Marius Halden <marius.h@lden.org> | 2015-06-10 15:02:06 +0200 |
---|---|---|
committer | Marius Halden <marius.h@lden.org> | 2015-06-10 15:02:06 +0200 |
commit | 282dbde283a2b7d377be9ffc22bf4ef9ea45808f (patch) | |
tree | 0e23440d680faaa45813801c130b7d576a0f4fa9 | |
parent | 0b3a9f9eea0cec11d44631dd45afe82c81fc2286 (diff) | |
download | push-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
-rwxr-xr-x | push.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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: |