2 commits

Author	SHA1	Message	Date
Bruno Windels	4defbe1322	simplify log filtering, while also adding depth based filtering	2021-02-16 15:07:17 +01:00
Bruno Windels	78805f0a65	implement dynamic log filtering ... the logger does not have a base level any more, because there is no sensible place to configure this. instead, we allow to dynamically determine what should be logged after an operation finished by setting the threshold and default log level inspecting the finished log item.	2021-02-16 11:37:48 +01:00