bring all the instances of setHeader.. for turning off browser caching into one metho...

[mir.git] / source / OpenMir.java

diff --git a/source/OpenMir.java b/source/OpenMir.java
index 7339d66..291bdc4 100755 (executable)
--- a/source/OpenMir.java
+++ b/source/OpenMir.java
@@ -90,13 +90,9 @@ public class OpenMir extends AbstractServlet {
       setLanguage(session,getAcceptLanguage(req));
     }
 
-    //nothing in Mir can or should be cached as it's all dynamic...
-    //
-    //this needs to be done here and not per page (via meta tags) as some
-    //browsers have problems w/ it per-page -mh
-    res.setHeader("Pragma", "no-cache");
-    res.setDateHeader("Expires", 0);
-    res.setHeader("Cache-Control", "no-cache");
+    //make sure client browsers don't cache anything
+    setNoCaching(res);
+
     res.setContentType("text/html; charset="
                       +MirConfig.getProp("Mir.DefaultEncoding"));
     try {