Skip to content

Check if root logger already has loggers

Tjerk Vreeken requested to merge check-existing-loggers into casadi3

If users provide a logger to the root logger, do not add an extra one (which will just result in messages being print out twice).

Typical way to set a root logger is logging.basicConfig(format='...')

Merge request reports