private void addContentTypeHeader(HttpServletResponse resp, IPath path) { String mimeType = getServletContext().getMimeType(path.lastSegment()); if (mimeType != null) resp.addHeader("Content-Type", mimeType); }
private void addEditHeaders(HttpServletResponse resp, IHostedSite site, IPath path) { resp.addHeader( "X-Edit-Server", site.getEditServerUrl() + "/edit/edit.html#"); // $NON-NLS-1$ //$NON-NLS-2$ resp.addHeader("X-Edit-Token", FILE_SERVLET_ALIAS + path.toString()); // $NON-NLS-1$ }