moving refresh-peer.py with MyPLC where it belongs

diff --git a/Makefile b/Makefile
index d15af83..9f98d2a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,6 @@ install:
            --install-scripts=$(DESTDIR)/$(datadir)/plc_api \
            --install-data=$(DESTDIR)/$(datadir)/plc_api
        install -D -m 755 php/xmlrpc/xmlrpc.so $(DESTDIR)/$(shell php-config --extension-dir)/xmlrpc.so
-       install -D -m 755 refresh-peer.py $(DESTDIR)/$(bindir)/refresh-peer.py
 
 $(subdirs): $(init)
 

diff --git a/PLCAPI.spec b/PLCAPI.spec
index 95317d7..d1f76cf 100644 (file)
--- a/PLCAPI.spec
+++ b/PLCAPI.spec
@@ -87,7 +87,6 @@ rm -rf $RPM_BUILD_ROOT
 %{_bindir}/plcsh
 %{php_extension_dir}/xmlrpc.so
 %{_sysconfdir}/php.d/xmlrpc.ini
-%{_bindir}/refresh-peer.py*
 
 %changelog
 * Wed May 14 2008 Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr> - PLCAPI-4.2-8

diff --git a/refresh-peer.py b/refresh-peer.py
deleted file mode 100644 (file)
index 127544f..0000000
--- a/refresh-peer.py
+++ /dev/null
@@ -1,39 +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):
-    monthstring=time.strftime("%Y-%m")
-    logname="/var/log/refresh-peer-%s-%s.log"%(peername,monthstring)
-    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)
-
-