explicitly flush stdout in log()

Otherwise the messages may get buffered for a quite long time, which
is annoying, particularly in multi-process system.

diff --git a/client/utils/logging.py b/client/utils/logging.py
index 9e12c887decff12bac06e9260e9ada52dbdde314..964480f802cbd539ae1fd44cbb63bdbb6be1de5c 100644 (file)
--- a/client/utils/logging.py
+++ b/client/utils/logging.py
@@ -1,3 +1,4 @@
+import sys
 import time
 
 def log(message):
@@ -7,3 +8,5 @@ def log(message):
                'epoch' : time.time(),
                'date' : time.strftime('%Y-%m-%d %H:%M:%S'),
                'message' : message}
+
+       sys.stdout.flush()