Fix 302 redirect so that it encodes the URI path properly.

apps/jetty/java/src/org/mortbay/http/handler/ResourceHandler.java

@@ -296,7 +296,7 @@ public class ResourceHandler extends AbstractHttpHandler
                     log.debug("Redirect to directory/");
                     
                     String q=request.getQuery();
-                    StringBuffer buf=request.getRequestURL();
+                    StringBuffer buf = URI.encodePath(null, request.getRequestURL().toString());
                     if (q!=null&&q.length()!=0)
                     {
                         buf.append('?');