Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project

This commit is contained in:
Greg Wilkins 2012-01-09 13:18:57 +11:00
parent 9ba96f22dd 8222ef815c
commit 44fca44ddc
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
jetty-util/src/main/java/org/eclipse/jetty/util/log/Log.java
View File

@ -102,7 +102,10 @@ public class Log
while (systemKeyEnum.hasMoreElements()) while (systemKeyEnum.hasMoreElements())
{ {
String key = systemKeyEnum.nextElement(); String key = systemKeyEnum.nextElement();
__props.setProperty(key,System.getProperty(key)); String val = System.getProperty(key);
//protect against application code insertion of non-String values (returned as null)
if (val != null)
__props.setProperty(key,val);
} }
/* Now use the configuration properties to configure the Log statics /* Now use the configuration properties to configure the Log statics