summaryrefslogtreecommitdiff
path: root/java/src/Ice/LoggerI.java
diff options
context:
space:
mode:
Diffstat (limited to 'java/src/Ice/LoggerI.java')
-rw-r--r--java/src/Ice/LoggerI.java64
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 = "";