@Override public InputStream getThemeResourceAsStream(UI uI, String themeName, String resource) throws IOException { String filename = "/" + VaadinServlet.THEME_DIR_PATH + '/' + themeName + "/" + resource; URL resourceUrl = getServlet().findResourceURL(filename); if (resourceUrl != null) { // security check: do not permit navigation out of the VAADIN // directory if (!getServlet().isAllowedVAADINResourceUrl(null, resourceUrl)) { throw new IOException(String.format( "Requested resource [{0}] not accessible in the VAADIN directory or access to it is forbidden.", filename)); } return resourceUrl.openStream(); } else { return null; } }
URL resourceUrl = findResourceURL(filename);
URL scssUrl = findResourceURL(scssFilename); if (scssUrl == null) {
.getServlet(); try { URL autoDetected = servlet.findResourceURL(bundleFileName); if (autoDetected != null) { return bundleUrl;