oops, wrong path in custom script search
[infrastructure.git] / scripts / refresh-peer.py
1 #!/usr/bin/env plcsh
2
3 import sys,os,time
4
5 def Run (peername):
6     timestring=time.strftime("%Y-%m-%d-%H-%M-%S")
7     print 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'
8     print 'RefreshPeer on %s - starting on %s'%(peername,timestring)
9     sys.stdout.flush()
10     start=time.time()
11     result=RefreshPeer(peername)
12     finish=time.time()
13
14     print 'Total duration',finish-start
15     print 'xxxxxxxxxx timers:'
16     keys=result.keys()
17     keys.sort()
18     for key in keys:
19         print key,result[key]
20     sys.stdout.flush()
21     sys.stderr.flush()
22
23 def RunInLog (peername):
24     logname="/var/log/refreshpeer.log"
25     sys.stdout=open(logname,'a')
26     sys.stderr=sys.stdout
27     Run(peername)
28     sys.stderr.close()
29     sys.stdout.close()
30
31 if __name__ == "__main__":
32     
33     for peername in sys.argv[1:]:
34         RunInLog (peername)