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