contextHandler.setAttribute( "action", "/Query" );
// TODO: very rudimentary: we should get the template from somewhere else instead...
contextHandler.setAttribute( "template", System.getProperty( "it.unimi.dsi.mg4j.query.QueryServlet.template" ) );
// Maps the main servlet onto the container.
servlets.addServletWithMapping( QueryServlet.class, "/Query" );
servlets.addServletWithMapping( HelpPage.class, "/Help" );
/* If an item servlet was specified, we link it to /Item. Otherwise,
* we inform the query servlet that it should generate direct URIs. */