res.setContentType("text/html"); res.getOutputStream().println("The certificate/CRL distribution servlet only handles GET method.");
doGet(req, res);
    public void doPost(HttpServletRequest req, HttpServletResponse res)        throws IOException {        cat.debug(">doPost()");        res.setContentType("text/html");        res.getOutputStream().println("The certificate/CRL distribution servlet only handles GET method.");        cat.debug("<doPost()");    } //doPost