public synchronized void unloadServlet(String urlPat)
{
Servlet servlet = (Servlet) registry.remove(urlPat)[0];
if (servlet != null)
servlet.destroy(); // sessions associated with it have to be invalidated to free up any the servlet specific object
// TODO decide if UnavailableException should be thrown at access
}
// / Register a standard set of Servlets. These will return
// files or directory listings, and run CGI programs, much like a