From 899bb02c7f7cbddf0671f1babd7a161aeace8dee Mon Sep 17 00:00:00 2001 From: adam Date: Thu, 9 Mar 2006 08:22:12 +0000 Subject: [PATCH] bugfix to basename darcs-hash:20060309082212-5007d-249dd50a9edfa8cd2305a327977f2ace52bf1207.gz --- src/org/ibex/mail/target/FileBasedMailbox.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/org/ibex/mail/target/FileBasedMailbox.java b/src/org/ibex/mail/target/FileBasedMailbox.java index e8a3d82..c700ae0 100644 --- a/src/org/ibex/mail/target/FileBasedMailbox.java +++ b/src/org/ibex/mail/target/FileBasedMailbox.java @@ -148,7 +148,7 @@ public class FileBasedMailbox extends Mailbox.Default { 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(""); if (top) { @@ -168,7 +168,7 @@ public class FileBasedMailbox extends Mailbox.Default { 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; } @@ -231,7 +231,7 @@ public class FileBasedMailbox extends Mailbox.Default { 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(""); pw.println(" "); pw.println("