Change server so that the script's not cached (#15)

Author: robsimmons

.gitignore

@@ -1,3 +1,4 @@
 elm-stuff
 dist
-*.tgz
+*.tgz
+*~

README.md

@@ -7,9 +7,9 @@ a webserver.
 
     tar xzvf context-collapse-prebuilt.tgz
     cd context-collapse
-    python -m SimpleHTTPServer 8070
+    python3 server.py
 
-Then go to http://localhost:8070/ in your browser.
+Then go to http://localhost:8020/ in your browser.
 
 You can edit your game by modifying the file `script.camp`
 in the `context-collapse` directory; the game will automatically
@@ -36,6 +36,7 @@ script to download all its dependencies and compile successfully.
 After doing the build process above, go into the parent directory and run
 a `tar` command to collect the necessary files.
 
+    rm -f context-collapse-prebuilt.tgz
     cd ..
     tar czvf context-collapse/context-collapse-prebuilt.tgz -T context-collapse/manifest.txt
 

manifest.txt

@@ -1,5 +1,6 @@
 context-collapse/assets/avocomm-logo.png
 context-collapse/dist/avocomm.js
 context-collapse/index.html
-context-collapse/README.md
+context-collapse/run.sh
 context-collapse/script.camp
+context-collapse/README.md

server.py

@@ -0,0 +1,11 @@
+import http.server
+PORT = 8020
+
+class Handler(http.server.SimpleHTTPRequestHandler):
+    def end_headers(self):
+        self.send_header("Cache-Control", "no-cache, must-revalidate, max-age=0")
+        http.server.SimpleHTTPRequestHandler.end_headers(self)
+
+print("serving app at http://localhost:" + str(PORT) + "/")
+http.server.HTTPServer(('', PORT), Handler).serve_forever()
+