1 available = [ ('vbuild1.inria.fr','138.96.250.131'),
2 ('vbuild2.inria.fr','138.96.250.132'),
3 ('vbuild3.inria.fr','138.96.250.133'),
4 ('vbuild4.inria.fr','138.96.250.134'),
7 def config (plcs,options):
10 # get next slot -- xxx shoud check for running ones
11 (name,ip)=available.pop()
12 plc['vservername']=name
14 for key in [ 'PLC_DB_HOST',