aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatti Tahvonen <matti.tahvonen@itmill.com>2007-05-30 14:59:33 +0000
committerMatti Tahvonen <matti.tahvonen@itmill.com>2007-05-30 14:59:33 +0000
commitfbc5e3d0cf6b98396fe5197e33220bb1dc23a742 (patch)
treea6810977e911973a6013e8df261cb9a4bd92122a
parenta00b45c487f88e959c8d4d0f54d6aca1b059b8d6 (diff)
downloadvaadin-framework-fbc5e3d0cf6b98396fe5197e33220bb1dc23a742.tar.gz
vaadin-framework-fbc5e3d0cf6b98396fe5197e33220bb1dc23a742.zip
Fixed custom index.html pages. Broken after change [1531]
svn changeset:1536/svn branch:trunk
-rw-r--r--src/com/itmill/toolkit/terminal/web/ApplicationServlet.java12
1 files changed, 8 insertions, 4 deletions
diff --git a/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java b/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java
index cc43671747..7e2d823fd2 100644
--- a/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java
+++ b/src/com/itmill/toolkit/terminal/web/ApplicationServlet.java
@@ -78,12 +78,10 @@ import com.itmill.toolkit.service.License.LicenseViolation;
import com.itmill.toolkit.terminal.DownloadStream;
import com.itmill.toolkit.terminal.Paintable;
import com.itmill.toolkit.terminal.ParameterHandler;
-import com.itmill.toolkit.terminal.StreamResource;
import com.itmill.toolkit.terminal.ThemeResource;
import com.itmill.toolkit.terminal.URIHandler;
import com.itmill.toolkit.terminal.Paintable.RepaintRequestEvent;
import com.itmill.toolkit.terminal.web.ThemeSource.ThemeException;
-import com.itmill.toolkit.terminal.web.WebBrowser;
import com.itmill.toolkit.ui.Window;
/**
@@ -1247,9 +1245,15 @@ public class ApplicationServlet extends HttpServlet implements
Theme t = themeSource.getThemeByName(parts[2]);
try {
+ WebBrowser wb = WebBrowserProbe.getTerminalType(request.getSession());
+ if(wb == null) {
+ // Request is propably coming from self made html file, run browser probe
+ WebBrowserProbe
+ .handleProbeRequest(request, new HashMap());
+ wb = WebBrowserProbe.getTerminalType(request.getSession());
+ }
if(resourceId.endsWith("compiledstyle.css")) {
- writeCss(response, WebBrowserProbe.getTerminalType(request
- .getSession()), t);
+ writeCss(response, wb, t);
} else {
writeJavascript(response, WebBrowserProbe.getTerminalType(request
.getSession()), t);