private static Element getPushScript(BootstrapContext context) { VaadinRequest request = context.getRequest(); // Parameter appended to JS to bypass caches after version upgrade. String versionQueryParam = "?v=" + Version.getFullVersion(); // Load client-side dependencies for push support String pushJSPath = ServletHelper.getContextRootRelativePath(request) + "/"; if (request.getService().getDeploymentConfiguration() .isProductionMode()) { pushJSPath += ApplicationConstants.VAADIN_PUSH_JS; } else { pushJSPath += ApplicationConstants.VAADIN_PUSH_DEBUG_JS; } pushJSPath += versionQueryParam; return createJavaScriptElement(pushJSPath); }
UI ui = ReflectTools.createInstance(uiClass); ui.getInternals().setContextRoot( ServletHelper.getContextRootRelativePath(request) + "/");
String contextRoot = ServletHelper.getContextRootRelativePath(request) + "/"; appConfig.put(ApplicationConstants.CONTEXT_ROOT_URL, contextRoot);