oops, bignode was broken
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 28 Nov 2012 08:24:20 +0000 (09:24 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 28 Nov 2012 08:24:20 +0000 (09:24 +0100)
system/config_bignode.py

index 277167c..3d15f2f 100644 (file)
@@ -5,7 +5,7 @@
 
 def config (plc_specs, options):
     def tweak_timers (plc_spec):
-        plc_spec['ssh_node_boot_timers'] (60, 58)
+        plc_spec['ssh_node_boot_timers']=(60, 58)
         return plc_spec
     return [tweak_timers (plc_spec) for plc_spec in plc_specs ]