Just noticed a strange quirk: calling LoggingSystem.getLogger().loggingOn(false); doesn’t actually turn the logger off, but merely filters out all but the most severe messages. Is this behaviour intentional? I’d hate to change it just to find out you meant to leave it like that! If not, I’ll make the change and upload to CVS.
Well, it was the initial intent. But you know, I’d guess that it should be off altogether if the user requests. So, go ahead and change it.
That reminds me that I need to start using the logger more in the internal classes.