system/config_sfadebug.py

   1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
   2 # Copyright (C) 2012 INRIA
   3 #
   4 # increment SFA_API_LOGLEVEL on all incoming plc_spec's
   5
   6 def config (plc_specs, options):
   7     def tweak_loglevel (plc_spec):
   8         plc_spec['sfa']['SFA_API_LOGLEVEL'] += 1
   9         return plc_spec
  10     return [tweak_loglevel (plc_spec) for plc_spec in plc_specs ]
  11
  12