vplc09.inria.fr out of the available pool

diff --git a/system/config_1vservers.py b/system/config_1vservers.py
index 98e9de6..afaca8a 100644 (file)
--- a/system/config_1vservers.py
+++ b/system/config_1vservers.py
@@ -3,8 +3,11 @@ import os.path
 from TestPool import TestPool
 
 # the pool of IP addresses available - from 01 to 09
+#onelab_plcs_pool = [ 
+#    ( 'vplc%02d.inria.fr'%i, '138.96.250.13%d'%i, '02:34:56:00:ee:%02d'%i) for i in range(1,10) ]
+# vplc09 is reserved for a fixed myplc - from 01 to 08
 onelab_plcs_pool = [ 
-    ( 'vplc%02d.inria.fr'%i, '138.96.250.13%d'%i, '02:34:56:00:ee:%02d'%i) for i in range(1,10) ]
+    ( 'vplc%02d.inria.fr'%i, '138.96.250.13%d'%i, '02:34:56:00:ee:%02d'%i) for i in range(1,09) ]
 
 def config (plcs,options):