| | |
| | | } |
| | | |
| | | // determine repository and resource from url |
| | | String repository = ""; |
| | | String repository = path; |
| | | Repository r = null; |
| | | int offset = 0; |
| | | while (r == null) { |
| | | int slash = path.indexOf('/', offset); |
| | | if (slash == -1) { |
| | | repository = path; |
| | | } else { |
| | | repository = path.substring(0, slash); |
| | | } |
| | | offset = ( slash + 1 ); |
| | | int terminator = repository.length(); |
| | | do { |
| | | repository = repository.substring(0, terminator); |
| | | r = repositoryManager.getRepository(repository, false); |
| | | if (repository.equals(path)) { |
| | | // either only repository in url or no repository found |
| | | break; |
| | | } |
| | | } |
| | | terminator = repository.lastIndexOf('/'); |
| | | } while (r == null && terminator > -1 ); |
| | | |
| | | ServletContext context = request.getSession().getServletContext(); |
| | | |
| | |
| | | try { |
| | | |
| | | String ext = StringUtils.getFileExtension(file).toLowerCase(); |
| | | String contentType = quickContentTypes.get(ext); |
| | | String contentType = file.charAt(0) == '.' ? "text/plain" : quickContentTypes.get(ext); |
| | | |
| | | if (contentType == null) { |
| | | List<String> exts = runtimeManager.getSettings().getStrings(Keys.web.prettyPrintExtensions); |
| | |
| | | served = true; |
| | | } |
| | | } finally { |
| | | tw.release(); |
| | | tw.close(); |
| | | rw.dispose(); |
| | | } |
| | | |