From 2ce3c411bd50cf2b303d3fc440e8f918d311f735 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 28 Nov 2012 09:24:20 +0100
Subject: [PATCH] oops, bignode was broken

---
 system/config_bignode.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/config_bignode.py b/system/config_bignode.py
index 277167c..3d15f2f 100644
--- a/system/config_bignode.py
+++ b/system/config_bignode.py
@@ -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 ]
 
-- 
2.47.0