equal
deleted
inserted
replaced
191 svghmi_listener = None |
191 svghmi_listener = None |
192 # plc cleanup calls svghmi_(locstring)_cleanup and unlocks send thread |
192 # plc cleanup calls svghmi_(locstring)_cleanup and unlocks send thread |
193 svghmi_send_thread.join() |
193 svghmi_send_thread.join() |
194 svghmi_send_thread = None |
194 svghmi_send_thread = None |
195 |
195 |
|
196 |
|
197 class NoCacheFile(File): |
|
198 def render_GET(self, request): |
|
199 request.setHeader(b"Cache-Control", b"no-cache, no-store") |
|
200 return File.render_GET(self, request) |
|
201 render_HEAD = render_GET |
|
202 |
|
203 |