// protocol handler, we have to assume the URL has been properly
// decoded already
decodedURI.toChars();
// Remove any path parameters
CharChunk uriCC = decodedURI.getCharChunk();
int semicolon = uriCC.indexOf(';');
if (semicolon > 0) {
decodedURI.setChars
(uriCC.getBuffer(), uriCC.getStart(), semicolon);
}
}