| changeset 9014 | 117374ccf1b7 |
| parent 5506 | 202f599c92aa |
| child 16098 | 9001e536ab4e |
| child 14342 | 8435a30053c1 |
| 9013:eedac0b9f552 | 9014:117374ccf1b7 |
|---|---|
97 |
97 |
98 @Override |
98 @Override |
99 public String getLevelName(Object level) { |
99 public String getLevelName(Object level) { |
100 return ((Level) level).getName(); |
100 return ((Level) level).getName(); |
101 } |
101 } |
102 |
|
103 @Override |
|
104 public String getProperty(String key) { |
|
105 return LogManager.getLogManager().getProperty(key); |
|
106 } |
|
102 } |
107 } |