private static String getPath(String url)
{
java.net.URL parsedUrl;
try {
parsedUrl = new java.net.URL(url);
} catch (java.net.MalformedURLException e) {
//FIXIT: later logging
//logger.atWarning().log("Malformed URL: \"%s\", replaced with \"/\"", url);
return("/");
}
String path = parsedUrl.getPath();
String args = parsedUrl.getQuery();
if (args != null)
{
path += "?" + args;
}
return(path);
}
