public final class WorldEditPrefixHandler
extends java.util.logging.Handler
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
void |
publish(java.util.logging.LogRecord record) |
static void |
register(java.lang.String name)
Add the handler to the following logger name.
|
public void publish(java.util.logging.LogRecord record)
publish
in class java.util.logging.Handler
public void flush()
flush
in class java.util.logging.Handler
public void close() throws java.lang.SecurityException
close
in class java.util.logging.Handler
java.lang.SecurityException
public static void register(java.lang.String name)
name
- the logger name