Fix problem with http://server:port not being removed when exact port not specified...
[jgroupdav.git] / src / net / 
tree07ec42cd71c898194a8d6e3bf30718a9270c5393
drwxr-xr-x   ..
drwxr-xr-x - bionicmessage