diff options
Diffstat (limited to 'java/src/Ice/LoggerI.java')
-rw-r--r-- | java/src/Ice/LoggerI.java | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/java/src/Ice/LoggerI.java b/java/src/Ice/LoggerI.java index 40341ee089f..72253d59503 100644 --- a/java/src/Ice/LoggerI.java +++ b/java/src/Ice/LoggerI.java @@ -14,34 +14,34 @@ public final class LoggerI extends LocalObjectImpl implements Logger public LoggerI(String prefix) { - if(prefix.length() > 0) - { - _prefix = prefix + ": "; - } + if(prefix.length() > 0) + { + _prefix = prefix + ": "; + } - _lineSeparator = System.getProperties().getProperty("line.separator"); - _date = java.text.DateFormat.getDateInstance(java.text.DateFormat.SHORT); - _time = new java.text.SimpleDateFormat(" HH:mm:ss:SSS"); + _lineSeparator = System.getProperties().getProperty("line.separator"); + _date = java.text.DateFormat.getDateInstance(java.text.DateFormat.SHORT); + _time = new java.text.SimpleDateFormat(" HH:mm:ss:SSS"); } public void print(String message) { - System.err.print(message + _lineSeparator); + System.err.print(message + _lineSeparator); } public void trace(String category, String message) { StringBuffer s = new StringBuffer("[ "); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append(category); - s.append(": "); - s.append(message); - s.append(" ]"); + s.append(_date.format(new java.util.Date())); + s.append(_time.format(new java.util.Date())); + s.append(' '); + s.append(_prefix); + s.append(category); + s.append(": "); + s.append(message); + s.append(" ]"); int idx = 0; while((idx = s.indexOf("\n", idx)) != -1) { @@ -54,27 +54,27 @@ public final class LoggerI extends LocalObjectImpl implements Logger public void warning(String message) { - StringBuffer s = new StringBuffer(); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append("warning: "); - s.append(message); - System.err.print(s.toString() + _lineSeparator); + StringBuffer s = new StringBuffer(); + s.append(_date.format(new java.util.Date())); + s.append(_time.format(new java.util.Date())); + s.append(' '); + s.append(_prefix); + s.append("warning: "); + s.append(message); + System.err.print(s.toString() + _lineSeparator); } public void error(String message) { - StringBuffer s = new StringBuffer(); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append("error: "); - s.append(message); - System.err.print(s.toString() + _lineSeparator); + StringBuffer s = new StringBuffer(); + s.append(_date.format(new java.util.Date())); + s.append(_time.format(new java.util.Date())); + s.append(' '); + s.append(_prefix); + s.append("error: "); + s.append(message); + System.err.print(s.toString() + _lineSeparator); } String _prefix = ""; |