X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=refresh-peer.py;h=f5cb67df91da6f51e84e519ed8239a6c75713a0e;hb=effaa2138be88157b2322de42fe9395694918acf;hp=b1a7a3f060fb313c1acbd7b7068e2adcde882408;hpb=391310e122de0536c08f62bd46acd3b3b7b13964;p=myplc.git diff --git a/refresh-peer.py b/refresh-peer.py index b1a7a3f..f5cb67d 100755 --- a/refresh-peer.py +++ b/refresh-peer.py @@ -1,5 +1,5 @@ #!/usr/bin/env plcsh -# $Id: refresh-peer.py 154 2007-03-28 14:15:55Z thierry $ +# $Id$ import sys,os,time