From d675ce558b45df0322d825c95ad5c2dc64da3b06 Mon Sep 17 00:00:00 2001 From: Jani Laakso Date: Mon, 12 Mar 2007 19:57:57 +0000 Subject: [PATCH] Fixed #83 (Server certificate test: Websphere). svn changeset:857/svn branch:trunk --- .../itmill/toolkit/terminal/web/ApplicationServlet.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java b/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java index ed8b649916..4ebb10a480 100644 --- a/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java +++ b/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java @@ -567,7 +567,7 @@ public class ApplicationServlet extends HttpServlet implements // try to detect it WebBrowser wb = WebBrowserProbe.getTerminalType(request .getSession()); - if ( "detect".equals(unhandledParameters.get("renderingMode")) + if ("detect".equals(unhandledParameters.get("renderingMode")) || wb.getRenderingMode() == WebBrowser.RENDERING_MODE_UNDEFINED) { String themeName = application.getTheme(); if (themeName == null) @@ -591,7 +591,7 @@ public class ApplicationServlet extends HttpServlet implements .get("renderingMode"))[0]; if (renderingMode.equals("html")) { wb.setRenderingMode(WebBrowser.RENDERING_MODE_HTML); - } else if(renderingMode.equals("ajax")){ + } else if (renderingMode.equals("ajax")) { wb.setRenderingMode(WebBrowser.RENDERING_MODE_AJAX); } } @@ -1119,6 +1119,9 @@ public class ApplicationServlet extends HttpServlet implements resourcePath = request.getContextPath() + request.getServletPath() + RESOURCE_URI; + // WebSphere Application Server related fix + resourcePath = resourcePath.replaceAll("//", "/"); + String resourceId = request.getPathInfo(); // Check if this really is a resource request -- 2.39.5