X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=refresh-peer.py;h=484d2573c8153473accaab4651b96ba60543cbe7;hb=refs%2Fheads%2Fplanetlab-4_0-branch;hp=ae388414015c2b9ca08b3ed7a4f67ed1e01086fd;hpb=76bdf368d0d8dcd046476abe04392a73a0eaa6e0;p=plcapi.git diff --git a/refresh-peer.py b/refresh-peer.py index ae38841..484d257 100644 --- 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: refresh-peer.py,v 1.1 2007/07/02 19:27:43 tmack Exp $ import sys,os,time