if (info != null) { for (Enumeration e = info.propertyNames(); e.hasMoreElements();) { String propName = (String)e.nextElement(); props.setProperty(propName, info.getProperty(propName)); } }
and Nathaniel's patch. With yours, the above, and Nathaniel's that should cover everything I think.
danap.
Dave Cramer wrote:
it irks me to have to do that, as the java api for getProperty suggests that you cannot have anything but a string in there, however it's not worth fighting for.
I think that is what threw me. You are still going to need to have Nathaniel's patch in case someone does try to throw in a bogus properties that ends up null even thought the url is correct.