Preventing Internet Explorer from caching the resources
authorJaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 14 Dec 2014 19:02:46 +0100
changeset 1751f91eb8500d18
parent 1750 0b4afadbd494
child 1752 c5157116bbc4
Preventing Internet Explorer from caching the resources
launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java
     1.1 --- a/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Sun Dec 14 16:29:46 2014 +0100
     1.2 +++ b/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Sun Dec 14 19:02:46 2014 +0100
     1.3 @@ -61,6 +61,7 @@
     1.4  import org.glassfish.grizzly.http.server.Response;
     1.5  import org.glassfish.grizzly.http.server.ServerConfiguration;
     1.6  import org.glassfish.grizzly.http.server.StaticHttpHandler;
     1.7 +import org.glassfish.grizzly.http.util.Header;
     1.8  import org.glassfish.grizzly.http.util.HttpStatus;
     1.9  import org.glassfish.grizzly.threadpool.ThreadPoolConfig;
    1.10  import org.glassfish.grizzly.websockets.WebSocket;
    1.11 @@ -205,6 +206,7 @@
    1.12          return s;
    1.13      }
    1.14      
    1.15 +    private static int resourcesCount;
    1.16      private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
    1.17          wait = new CountDownLatch(1);
    1.18          server = initServer(".", true, "");
    1.19 @@ -212,7 +214,6 @@
    1.20          
    1.21          class DynamicResourceHandler extends HttpHandler {
    1.22              private final InvocationContext ic;
    1.23 -            private int resourcesCount;
    1.24              DynamicResourceHandler delegate;
    1.25              public DynamicResourceHandler(InvocationContext ic) {
    1.26                  this.ic = ic;
    1.27 @@ -257,6 +258,8 @@
    1.28                      } else {
    1.29                          url = registerResource(res);
    1.30                      }
    1.31 +                    response.setHeader(Header.CacheControl, "no-cache");
    1.32 +                    response.setHeader(Header.Pragma, "no-cache");
    1.33                      response.getWriter().write(url.toString());
    1.34                      response.getWriter().write("\n");
    1.35                      return;
    1.36 @@ -266,6 +269,8 @@
    1.37                      if (r.httpPath.equals(request.getRequestURI())) {
    1.38                          LOG.log(Level.INFO, "Serving HttpResource for {0}", request.getRequestURI());
    1.39                          response.setContentType(r.httpType);
    1.40 +                        response.setHeader(Header.CacheControl, "no-cache");
    1.41 +                        response.setHeader(Header.Pragma, "no-cache");
    1.42                          r.httpContent.reset();
    1.43                          String[] params = null;
    1.44                          if (r.parameters.length != 0) {