Do not append "null" to URLs generated by href() when baseURI is not specified

;-)=
This commit is contained in:
hns 2002-09-18 00:33:39 +00:00
parent 75f033f6a5
commit 4e6f33dd68

View file

@ -1206,6 +1206,8 @@ public final class Application
String base = props.getProperty ("baseURI");
if (base != null)
setBaseURI (base);
else if (baseURI == null)
baseURI = "/";
// if node manager exists, update it
if (nmgr != null)
nmgr.updateProperties (props);