/[classpath]/classpath/java/util/logging/LogManager.java
ViewVC logotype

Diff of /classpath/java/util/logging/LogManager.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.5 by tromey, Tue Dec 31 19:26:42 2002 UTC revision 1.6 by tromey, Tue Dec 31 22:28:02 2002 UTC
# Line 93  import java.lang.ref.WeakReference; Line 93  import java.lang.ref.WeakReference;
93   *   *
94   * <li>If the system property <code>java.util.logging.config.file</code>   * <li>If the system property <code>java.util.logging.config.file</code>
95   *     is not set, however, the contents of the URL   *     is not set, however, the contents of the URL
96   *     "{gnu.classpath.home.url}/lib/logging.properties" are passed to   *     "{gnu.classpath.home.url}/logging.properties" are passed to
97   *     {@link #readConfiguration(java.io.InputStream)}.   *     {@link #readConfiguration(java.io.InputStream)}.
98   *     Here, "{gnu.classpath.home.url}" stands for the value of   *     Here, "{gnu.classpath.home.url}" stands for the value of
99   *     the system property <code>gnu.classpath.home.url</code>.</li>   *     the system property <code>gnu.classpath.home.url</code>.</li>
# Line 469  public class LogManager Line 469  public class LogManager
469     * The name and location of this file are specified by the system     * The name and location of this file are specified by the system
470     * property <code>java.util.logging.config.file</code>.  If this     * property <code>java.util.logging.config.file</code>.  If this
471     * property is not set, the URL     * property is not set, the URL
472     * "{gnu.classpath.home.url}/lib/logging.properties" is taken, where     * "{gnu.classpath.home.url}/logging.properties" is taken, where
473     * "{gnu.classpath.home.url}" stands for the value of the system     * "{gnu.classpath.home.url}" stands for the value of the system
474     * property <code>gnu.classpath.home.url</code>.     * property <code>gnu.classpath.home.url</code>.
475     *     *
# Line 496  public class LogManager Line 496  public class LogManager
496      if ((path == null) || (path.length() == 0))      if ((path == null) || (path.length() == 0))
497      {      {
498        String url = (System.getProperty("gnu.classpath.home.url")        String url = (System.getProperty("gnu.classpath.home.url")
499                      + "/lib/logging.properties");                      + "/logging.properties");
500        inputStream = new URL(url).openStream();        inputStream = new URL(url).openStream();
501      }      }
502      else      else

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26