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$
}
