This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: RFC: logging.properties file
- From: Tom Tromey <tromey at redhat dot com>
- To: GCC libjava patches <java-patches at gcc dot gnu dot org>
- Date: 14 Nov 2003 14:55:03 -0700
- Subject: Re: Patch: RFC: logging.properties file
- References: <87zney8vsi.fsf@fleche.redhat.com>
- Reply-to: tromey at redhat dot com
>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:
Tom> I think the only thing preventing us from enabling java.util.logging
Tom> is the lack of a logging.properties file. Here's one... what do you
Tom> think about it?
And, duh, forgot to attach the patch.
Tom
Index: ChangeLog
from Tom Tromey <tromey@redhat.com>
* Makefile.in: Rebuilt.
* Makefile.am (propdir): New macro.
(install-data-local): Install logging.properties.
* java/util/logging/logging.properties: New file.
* java/util/jar/Attributes.java (clone): Rewrote.
* java/util/jar/Manifest.java (clone): Rewrote.
Index: Makefile.am
===================================================================
RCS file: /cvs/gcc/gcc/libjava/Makefile.am,v
retrieving revision 1.335
diff -u -r1.335 Makefile.am
--- Makefile.am 12 Nov 2003 00:37:32 -0000 1.335
+++ Makefile.am 14 Nov 2003 22:03:48 -0000
@@ -52,6 +52,8 @@
## FIXME: Using libdir violates GNU coding standards.
secdir = $(libdir)/security
+## Where to install default logging property file.
+propdir = $(datadir)/java
## For now, only on native systems. FIXME.
if NATIVE
@@ -594,6 +596,7 @@
echo " $(INSTALL_DATA) $(srcdir)/java/security/$$f $(DESTDIR)$(secdir)/$$f"; \
$(INSTALL_DATA) $(srcdir)/java/security/$$f $(DESTDIR)$(secdir)/$$f; \
done
+ $(INSTALL_DATA) $(srcdir)/java/util/logging/logging.properties $(DESTDIR)$(propdir)/logging.properties
## ################################################################
Index: java/util/logging/logging.properties
===================================================================
RCS file: java/util/logging/logging.properties
diff -N java/util/logging/logging.properties
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ java/util/logging/logging.properties 14 Nov 2003 22:03:48 -0000
@@ -0,0 +1,8 @@
+# Default logging properties.
+# See javadoc in java.util.logging.LogManager to information on
+# overriding these settings. Most of the defaults are compiled in, so
+# this file is fairly minimal.
+
+# Send log records to System.err, default to INFO per documentation.
+handlers = java.util.logging.ConsoleHandler
+.level = INFO