if (themeName == null)
themeName = "default";
+ String contextPath = request.getContextPath();
+
page.write("', pathInfo: '" + pathInfo + "'\n};\n" + "</script>\n"
- + "<script language='javascript' src='" + appUrl + "/"
+ + "<script language='javascript' src='" + contextPath + "/"
+ WIDGETSET_DIRECTORY_PATH + widgetset + "/" + widgetset
+ ".nocache.js'></script>\n");
- if (!themeName.equals("default"))
- page.write("<link REL=\"stylesheet\" TYPE=\"text/css\" HREF=\""
- + appUrl + "/" // TODO relative url as above?
- + THEME_DIRECTORY_PATH + themeName + "/styles.css\">\n");
+ page.write("<link REL=\"stylesheet\" TYPE=\"text/css\" HREF=\""
+ + contextPath + "/" + THEME_DIRECTORY_PATH + themeName
+ + "/styles.css\">\n");
page
.write("</head>\n<body style=\"width:100%;height:100%;border:0;margin:0;overflow:auto;\">\n"
+ " <iframe id=\"__gwt_historyFrame\" style=\"width:0;height:0;border:0;overflow:hidden\"></iframe>\n"