refresh-peer.py

   1 #!/usr/bin/env plcsh
   2 # $Id$
   3
   4 import sys,time,os,os.path
   5
   6 logdir="/var/log/peers"
   7
   8 def Run (peername):
   9     timestring=time.strftime("%Y-%m-%d-%H-%M-%S")
  10     print 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx',peername
  11     print 'RefreshPeer on %s - starting on %s'%(peername,timestring)
  12     print 'xxxxxxxxxx'
  13     sys.stdout.flush()
  14     start=time.time()
  15     result=RefreshPeer(peername)
  16     finish=time.time()
  17
  18     print 'Total duration',finish-start
  19     print 'xxxxxxxxxx timers:'
  20     keys=result.keys()
  21     keys.sort()
  22     for key in keys:
  23         print key,result[key]
  24     sys.stdout.flush()
  25     sys.stderr.flush()
  26
  27 def RunInLog (peername):
  28     monthstring=time.strftime("%Y-%m")
  29     if not os.path.isdir(logdir):
  30         os.mkdir(logdir)
  31     logname="%s/refresh-peer-%s-%s.log"%(logdir,peername,monthstring)
  32     sys.stdout=open(logname,'a')
  33     sys.stderr=sys.stdout
  34     Run(peername)
  35     sys.stderr.close()
  36     sys.stdout.close()
  37
  38 if __name__ == "__main__":
  39
  40     for peername in sys.argv[1:]:
  41         RunInLog (peername)
  42
  43