public static class Servlet extends HttpServlet {
public void doPost(HttpServletRequest request, HttpServletResponse response) throws IOException { doGet(request, response); }
private void frames(HttpServletRequest request, HttpServletResponse response, boolean top) throws IOException {
- String basename = request.getServletPath();
+ String basename = request.getRequestURI();
PrintWriter pw = new PrintWriter(response.getWriter());
pw.println("<html>");
if (top) {
public void doGet(HttpServletRequest request, HttpServletResponse response) throws IOException {
String frame = request.getParameter("frame");
- String basename = request.getServletPath();
+ String basename = request.getRequestURI();
if (frame == null) { frames(request, response, true); return; }
if (frame.equals("top")) { frames(request, response, false); return; }
private void topright(HttpServletRequest request, HttpServletResponse response, String[][] messages) throws IOException {
PrintWriter pw = new PrintWriter(response.getWriter());
- String basename = request.getServletPath();
+ String basename = request.getRequestURI();
pw.println("<html>");
pw.println(" <head>");
pw.println(" <style>");