1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
2 # Copyright (C) 2012 INRIA
4 # allow one hour for the node to install
6 def config (plc_specs, options):
7 def tweak_timers (plc_spec):
8 plc_spec['ssh_node_boot_timers']=(60, 58)
10 return [tweak_timers (plc_spec) for plc_spec in plc_specs ]