use alias name for the plc box
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 28 Nov 2008 12:51:57 +0000 (12:51 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 28 Nov 2008 12:51:57 +0000 (12:51 +0000)
system/config_1testbox.py

index d891b37..b8a4ea4 100644 (file)
@@ -9,7 +9,7 @@ onelab_qemus_pool = [ ( 'testqemu%d.onelab.eu'%i, None, None) for i in range(1,4
 def config (plcs, options):
 
     # all plcs on the same vserver box
-    plc_box   ='speedball.inria.fr'
+    plc_box   ='testbox-plc.onelab.eu'
     # informative
     label=options.personality.replace("linux","")