turn off kruder that is down too (hdd failure)

[tests.git] / system / LocalSubstrate.inria.py

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index b9f81d5..72f77a0 100755 (executable)
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -24,14 +24,16 @@ class OnelabSubstrate (Substrate):
 
    # the vs-capable box for PLCs
    def plc_vs_boxes_spec (self):
-      return [ ('warhol', 35),  # how many plcs max in this box
-               ]  
+      return [ 
+#         ('warhol', 35),  # how many plcs max in this box
+         ]  
 
    # the lxc-capable box for PLCs
    def plc_lxc_boxes_spec (self):
       return [ 
-         ('gotan', 30),         # how many plcs max in this box 
-         ('deathvegas', 30),    
+# gotan has fsck issues and is being reinstalled under f20
+#         ('gotan', 10),         # how many plcs max in this box 
+         ('deathvegas', 10),    
          ]  
 
    # vplc01 to 40
@@ -44,7 +46,7 @@ class OnelabSubstrate (Substrate):
       return [ # how many qemus max in this box
 # enfoui runs f18 - also can't seem to enter BIOS on that one
          ('kvm64-6', 4), # 4 cores, 8Gb
-         ('kvm64-1', 3), # 4 cores, 4Gb
+# this one is down         ('kvm64-1', 3), # 4 cores, 4Gb
          ('kvm64-2', 3), # 4 cores, 4Gb
          ('kvm64-4', 2), # 4 cores, 8Gb
          ('kvm64-3', 1), # 2 cores, 4Gb