system/config_sfadebug.py

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