From 97b2474c25839263893d521897045f9bedf5fe7b Mon Sep 17 00:00:00 2001 From: build Date: Tue, 13 Feb 2007 16:30:06 +0000 Subject: [PATCH] flushes --- scripts/refresh-peer.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/refresh-peer.py b/scripts/refresh-peer.py index 355c257..e9a24c9 100755 --- a/scripts/refresh-peer.py +++ b/scripts/refresh-peer.py @@ -6,6 +6,7 @@ def Run (peername): timestring=time.strftime("%Y-%m-%d-%H-%M-%S") print 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx' print 'RefreshPeer on %s - starting on %s'%(peername,timestring) + sys.stdout.flush() start=time.time() result=RefreshPeer(peername) finish=time.time() @@ -16,6 +17,8 @@ def Run (peername): keys.sort() for key in keys: print key,result[key] + sys.stdout.flush() + sys.stderr.flush() def RunInLog (peername): logname="/var/log/refreshpeer.log" @@ -29,6 +32,3 @@ if __name__ == "__main__": for peername in sys.argv[1:]: RunInLog (peername) - - - -- 2.47.0