From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 1 Feb 2008 09:07:15 +0000 (+0000)
Subject: this script now comes with PLCAPI
X-Git-Tag: myplc-4.2-3~12
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=0ed8be4cba2a6b46fcda1a6247b6b0b2d0488918;p=myplc.git

this script now comes with PLCAPI
---

diff --git a/refresh-peer.py b/refresh-peer.py
deleted file mode 100755
index f5cb67d..0000000
--- a/refresh-peer.py
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/usr/bin/env plcsh
-# $Id$
-
-import sys,os,time
-
-def Run (peername):
-    timestring=time.strftime("%Y-%m-%d-%H-%M-%S")
-    print 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx',peername
-    print 'RefreshPeer on %s - starting on %s'%(peername,timestring)
-    print 'xxxxxxxxxx'
-    sys.stdout.flush()
-    start=time.time()
-    result=RefreshPeer(peername)
-    finish=time.time()
-
-    print 'Total duration',finish-start
-    print 'xxxxxxxxxx timers:'
-    keys=result.keys()
-    keys.sort()
-    for key in keys:
-        print key,result[key]
-    sys.stdout.flush()
-    sys.stderr.flush()
-
-def RunInLog (peername):
-    logname="/var/log/refresh-peer-%s.log"%(peername)
-    sys.stdout=open(logname,'a')
-    sys.stderr=sys.stdout
-    Run(peername)
-    sys.stderr.close()
-    sys.stdout.close()
-
-if __name__ == "__main__":
-    
-    for peername in sys.argv[1:]:
-        RunInLog (peername)