equal
deleted
inserted
replaced
41 |
41 |
42 private Object args[] = new Object[1]; |
42 private Object args[] = new Object[1]; |
43 |
43 |
44 // Line separator string. This is the value of the line.separator |
44 // Line separator string. This is the value of the line.separator |
45 // property at the moment that the SimpleFormatter was created. |
45 // property at the moment that the SimpleFormatter was created. |
46 private String lineSeparator = java.security.AccessController.doPrivileged( |
46 private String lineSeparator = System.lineSeparator(); |
47 new sun.security.action.GetPropertyAction("line.separator")); |
|
48 |
47 |
49 boolean displayFullRecord = false; |
48 boolean displayFullRecord = false; |
50 boolean useANSI = false; |
49 boolean useANSI = false; |
51 boolean showDate = true; |
50 boolean showDate = true; |
52 boolean showLevel = true; |
51 boolean showLevel = true; |