Logging improvements - #374

Closed

rwb27 wants to merge 8 commits into

mainfrom

logging-improvements

Commits on Aug 4, 2026

Add an extra loglevel USER.
rwb27
committed
f72f03c
Make the global lock log at a specified level
rwb27
committed
349104c
Fix typing of the modified logger.
rwb27
committed
3729f20
Log global lock errors at INFO by default.
rwb27
committed
ef58a26
Add more tests.
rwb27
committed
d6529a5
Add a test for the logger type checks.
rwb27
committed
f762015
Better errors if logger customisation fails.
rwb27
committed
7afc626
Fix signature in public API docs.
rwb27
committed
d4d1548