# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1418580166 -3600
# Node ID f91eb8500d18e99b41b213d54db34c8b22073ea7
# Parent  0b4afadbd494c7ab393b6cc2c867d429063613b3
Preventing Internet Explorer from caching the resources

diff -r 0b4afadbd494 -r f91eb8500d18 launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java
--- a/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Sun Dec 14 16:29:46 2014 +0100
+++ b/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Sun Dec 14 19:02:46 2014 +0100
@@ -61,6 +61,7 @@
 import org.glassfish.grizzly.http.server.Response;
 import org.glassfish.grizzly.http.server.ServerConfiguration;
 import org.glassfish.grizzly.http.server.StaticHttpHandler;
+import org.glassfish.grizzly.http.util.Header;
 import org.glassfish.grizzly.http.util.HttpStatus;
 import org.glassfish.grizzly.threadpool.ThreadPoolConfig;
 import org.glassfish.grizzly.websockets.WebSocket;
@@ -205,6 +206,7 @@
         return s;
     }
     
+    private static int resourcesCount;
     private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
         wait = new CountDownLatch(1);
         server = initServer(".", true, "");
@@ -212,7 +214,6 @@
         
         class DynamicResourceHandler extends HttpHandler {
             private final InvocationContext ic;
-            private int resourcesCount;
             DynamicResourceHandler delegate;
             public DynamicResourceHandler(InvocationContext ic) {
                 this.ic = ic;
@@ -257,6 +258,8 @@
                     } else {
                         url = registerResource(res);
                     }
+                    response.setHeader(Header.CacheControl, "no-cache");
+                    response.setHeader(Header.Pragma, "no-cache");
                     response.getWriter().write(url.toString());
                     response.getWriter().write("\n");
                     return;
@@ -266,6 +269,8 @@
                     if (r.httpPath.equals(request.getRequestURI())) {
                         LOG.log(Level.INFO, "Serving HttpResource for {0}", request.getRequestURI());
                         response.setContentType(r.httpType);
+                        response.setHeader(Header.CacheControl, "no-cache");
+                        response.setHeader(Header.Pragma, "no-cache");
                         r.httpContent.reset();
                         String[] params = null;
                         if (r.parameters.length != 0) {