You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The min_level property is not part of a logger standard interface (found only as a keyword argument).
Using .min_level caused an issue with Pluto custom logger ( fonsp/Pluto.jl#1038).
Perhaps one should use Logging.min_enabled_level() instead ?
The text was updated successfully, but these errors were encountered:
Looking at the code in util.jl, the way it's manipulating global_logger looks kind of dodgy. I haven't used Traceur, but a better alternative may be a single call to with_logger() which wraps the @trace entry point.
The
min_level
property is not part of a logger standard interface (found only as a keyword argument).Using
.min_level
caused an issue with Pluto custom logger ( fonsp/Pluto.jl#1038).Perhaps one should use Logging.min_enabled_level() instead ?
The text was updated successfully, but these errors were encountered: