home *** CD-ROM | disk | FTP | other *** search
- <%
- if (charset == null) {
- response.setContentType("text/html");
- } else {
- response.setContentType("text/html;charset="+charset);
- }
- response.addHeader("Cache-Control", "private");
- response.addHeader("Cache-Control", "max-age=0");
- String userAgent = request.getHeader("User-Agent");
- if (userAgent != null && userAgent.indexOf("Safari") != -1) {
- response.addHeader("Cache-Control", "no-cache");
- }
- %>
-
- <%!
- boolean needReload(javax.servlet.http.HttpServletRequest request) {
- String cacheHeader = request.getHeader("cache-control");
- return (cacheHeader != null && (cacheHeader.equals("max-age=0") || cacheHeader.equals("no-cache")));
- }
- %>
-