From: Marc Englund Date: Fri, 30 Nov 2007 15:05:48 +0000 (+0000) Subject: Outputs themeUri:null, not themeUri:'null', if theme is not set. (real null, not... X-Git-Tag: 6.7.0.beta1~5347 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=15a1d94f6ae5caac76ca9fc60d6ba99f6dd5723c;p=vaadin-framework.git Outputs themeUri:null, not themeUri:'null', if theme is not set. (real null, not the string "null") svn changeset:3087/svn branch:trunk --- diff --git a/src/com/itmill/toolkit/terminal/gwt/server/ApplicationServlet.java b/src/com/itmill/toolkit/terminal/gwt/server/ApplicationServlet.java index 9b7595d18e..529d1f4229 100644 --- a/src/com/itmill/toolkit/terminal/gwt/server/ApplicationServlet.java +++ b/src/com/itmill/toolkit/terminal/gwt/server/ApplicationServlet.java @@ -526,11 +526,11 @@ public class ApplicationServlet extends HttpServlet { // Using custom theme themeUri = staticFilePath + "/" + THEME_DIRECTORY_PATH + themeName; } - page.write("', pathInfo: '" + pathInfo + "', themeUri: '" + themeUri - + "'\n};\n" + "\n" - + "\n"); + page.write("', pathInfo: '" + pathInfo + "', themeUri: " + + (themeUri != null ? "'" + themeUri + "'" : "null") + "\n};\n" + + "\n" + "\n"); if (themeName != null) { // Custom theme's stylesheet