system/config_bignode.py

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