Set headers to prevent nocache.js from being cached by the browser.

Review by: skybrian@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@11603 8db76d5a-ed1c-0410-87a9-c151d255dfc7

Author: thefox@google.com

dev/codeserver/java/com/google/gwt/dev/codeserver/WebServer.java

@@ -38,6 +38,7 @@
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.PrintWriter;
+import java.util.Date;
 import java.util.HashMap;
 import java.util.Map;
 import java.util.regex.Matcher;
@@ -83,6 +84,7 @@ public class WebServer {
       Pattern.compile("([a-zA-Z_][a-zA-Z0-9_]*\\.)*[a-zA-Z_][a-zA-Z0-9_]*");
 
   private static final MimeTypes MIME_TYPES = new MimeTypes();
+  private static final String TIME_IN_THE_PAST = "Fri, 01 Jan 1990 00:00:00 GMT";
 
   private final SourceHandler handler;
 
@@ -285,6 +287,11 @@ private void sendOutputFile(String target, HttpServletRequest request,
 
     if (target.endsWith(".cache.js")) {
       response.setHeader("X-SourceMap", sourceMapLocationForModule(moduleName));
+    } else if (target.endsWith(".nocache.js")) {
+      response.setHeader("Cache-Control", "no-cache, no-store, max-age=0, must-revalidate");
+      response.setHeader("Pragma", "no-cache");
+      response.setHeader("Expires", TIME_IN_THE_PAST);
+      response.setDateHeader("Date", new Date().getTime());
     }
     response.setHeader("Access-Control-Allow-Origin", "*");
     String mimeType = guessMimeType(target);