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> |
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 |
* |
* |
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 |