# HG changeset patch
# User Edouard Tisserant
# Date 1579611303 -3600
# Node ID 15d7bd79d9e82869cc0655af1a73a488c0b156c7
# Parent  4c2c50f6073033f65a410ab18e6e5cf2e1c1704c
SVGHMI : avoid caching of xhtml file by forcing cache-control header in http response.

diff -r 4c2c50f60730 -r 15d7bd79d9e8 svghmi/svghmi.py
--- a/svghmi/svghmi.py	Fri Jan 17 16:25:45 2020 +0100
+++ b/svghmi/svghmi.py	Tue Jan 21 13:55:03 2020 +0100
@@ -516,7 +516,7 @@
     {svghmi_cmds[Watchdog]}
 
 def _runtime_svghmi1_{location}_start():
-    svghmi_root.putChild('{view_name}',File('{xhtml}', defaultType='application/xhtml+xml'))
+    svghmi_root.putChild('{view_name}', NoCacheFile('{xhtml}', defaultType='application/xhtml+xml'))
     {svghmi_cmds[Start]}
 
 def _runtime_svghmi1_{location}_stop():
diff -r 4c2c50f60730 -r 15d7bd79d9e8 svghmi/svghmi_server.py
--- a/svghmi/svghmi_server.py	Fri Jan 17 16:25:45 2020 +0100
+++ b/svghmi/svghmi_server.py	Tue Jan 21 13:55:03 2020 +0100
@@ -193,3 +193,11 @@
     svghmi_send_thread.join()
     svghmi_send_thread = None
 
+
+class NoCacheFile(File):
+    def render_GET(self, request):
+        request.setHeader(b"Cache-Control", b"no-cache, no-store")
+        return File.render_GET(self, request)
+    render_HEAD = render_GET
+
+