bugfix to basename
authoradam <adam@megacz.com>
Thu, 9 Mar 2006 08:22:12 +0000 (08:22 +0000)
committeradam <adam@megacz.com>
Thu, 9 Mar 2006 08:22:12 +0000 (08:22 +0000)
darcs-hash:20060309082212-5007d-249dd50a9edfa8cd2305a327977f2ace52bf1207.gz

src/org/ibex/mail/target/FileBasedMailbox.java

index e8a3d82..c700ae0 100644 (file)
@@ -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("<html>");
             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("<html>");
             pw.println("  <head>");
             pw.println("    <style>");