@@ -94,21 +97,25 @@
private LogRecord buffer[];
int start, count;
- // Private method to configure a MemoryHandler from LogManager
+ // Private PrivilegedAction to configure a MemoryHandler from LogManager
// properties and/or default values as specified in the class
// javadoc.
- private void configure() {
- LogManager manager = LogManager.getLogManager();
- String cname = getClass().getName();
-
- pushLevel = manager.getLevelProperty(cname +".push", Level.SEVERE);
- size = manager.getIntProperty(cname + ".size", DEFAULT_SIZE);
- if (size <= 0) {
- size = DEFAULT_SIZE;
+ private class ConfigureAction implements PrivilegedAction