Package org.evoludo
Class EvoLudoWeb.EvoLogHandler
- Enclosing class:
EvoLudoWeb
Custom handler for logging system. Redirects notifications to EvoLudo console
with minimal formatting (preserve
<pre>
-formatted string for
help message) and encoding (to avoid the wrath of XHTML).-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionEvoLogHandler
(Console console) Construct new log handler that reports to the EvoLudo console (if one is present) and the EvoLudo status line. -
Method Summary
Methods inherited from class Handler
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel
-
Field Details
-
console
Console consoleThe GUI console (or null).
-
-
Constructor Details
-
EvoLogHandler
Construct new log handler that reports to the EvoLudo console (if one is present) and the EvoLudo status line.- Parameters:
console
- for reporting log records- See Also:
-
-
Method Details
-
publish
If severity of notification is
Level.WARNING
or higher, the message is also shown in the status line of the GUI. Ignore log request if no console provided. -
flush
public void flush()Nothing to flush in GWT. -
close
Nothing to close in GWT.- Specified by:
close
in classHandler
- Throws:
SecurityException
-