From 8c68bc0e1bbd245465ed024d036802799dfd1871 Mon Sep 17 00:00:00 2001
From: Zsombor <gzsombor@gmail.com>
Date: Mon, 16 Feb 2009 18:11:05 -0700
Subject: [PATCH] add logp methods to Logger

---
 classpath/java/util/logging/Logger.java | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/classpath/java/util/logging/Logger.java b/classpath/java/util/logging/Logger.java
index c0ec4d8823..5a1e7ee055 100644
--- a/classpath/java/util/logging/Logger.java
+++ b/classpath/java/util/logging/Logger.java
@@ -67,15 +67,34 @@ public class Logger {
     log(level, Method.getCaller(), message, exception);
   }
 
+  public void logp(Level level, String sourceClass, String sourceMethod, String msg) {
+	if (!isLoggable(level)) {
+		return;
+	}
+    publish(new LogRecord(name, sourceMethod, level, msg, null));
+  }
+  
+  public void logp(Level level, String sourceClass, String sourceMethod,
+          String msg, Throwable thrown) {
+	if (!isLoggable(level)) {
+	  return;
+	}
+	publish(new LogRecord(name, sourceMethod, level, msg, thrown));
+  }
+  
   private void log(Level level, Method caller, String message,
                    Throwable exception) {
 	if (level.intValue()<levelValue) {
-		return;
+	  return;
 	}
     LogRecord r = new LogRecord(name, caller.getName(), level, message,
                                 exception);
+    publish(r);
+  }
+
+  private void publish(LogRecord logRecord) {
     for (Handler h : handlers) {
-      h.publish(r);
+      h.publish(logRecord);
     }
   }