SWDEV-402866: Added browser file mode. Fixed caching. Changed ATT buffer size. Added MAX_ATT environment variable. Updated README/Changelog.

Change-Id: I36a6093bb85bf4ef179b59df676fc2e4cbdb5288
Αυτή η υποβολή περιλαμβάνεται σε:
Giovanni LB
2023-06-01 21:45:16 -03:00
υποβλήθηκε από Giovanni Baraldi
γονέας 44e787957b
υποβολή 59ee21f7d1
9 αρχεία άλλαξαν με 106 προσθήκες και 26 διαγραφές
@@ -0,0 +1,64 @@
#!/usr/bin/env python3
import sys
if sys.version_info[0] < 3:
raise Exception("Must be using Python 3")
import http.server
import socketserver
import socket
import os
import sys
class NoCacheHTTPRequestHandler(http.server.SimpleHTTPRequestHandler):
def end_headers(self):
self.send_my_headers()
http.server.SimpleHTTPRequestHandler.end_headers(self)
def send_my_headers(self):
self.send_header("Cache-Control", "no-cache, no-store, must-revalidate")
self.send_header("Pragma", "no-cache")
self.send_header("Expires", "0")
def do_GET(self):
if 'timeline.png?' in self.path:
self.path = 'timeline.png'
http.server.SimpleHTTPRequestHandler.do_GET(self)
class RocTCPServer(socketserver.TCPServer):
def server_bind(self):
self.socket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
self.socket.bind(self.server_address)
def run_server():
Handler = NoCacheHTTPRequestHandler
os.chdir(os.path.join(os.path.dirname(os.path.abspath(__file__)),'.'))
try:
with RocTCPServer((IPAddr, PORT), Handler) as httpd:
httpd.serve_forever()
except KeyboardInterrupt:
pass
def get_ip():
s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)
s.settimeout(0)
try:
hostname = socket.gethostname()
IPAddr = socket.gethostbyname(hostname)
s.connect(({IPAddr}, 1))
except Exception:
IPAddr = '127.0.0.1'
finally:
return IPAddr
IPAddr = get_ip()
PORT = 8000
if len(sys.argv) > 1:
PORT = int(sys.argv[1])
print('serving at port: {0}'.format(PORT))
try:
run_server()
except KeyboardInterrupt:
print("Exitting.")
+4 -4
Προβολή Αρχείου
@@ -206,7 +206,7 @@
var current_WV = 0
var filename_data = {}
fetch("filenames.json").then(response => response.json()).then(data => {
fetch("filenames.json", {cache: "no-store"}).then(response => response.json()).then(data => {
filename_data = data.wave_filenames
wave_cu_index = {};
@@ -272,7 +272,7 @@
document.getElementById("minimap").innerHTML = HTML_MINI
document.getElementById("Images").innerHTML = HTML_IMAG
fetch("counters.json").then(response => response.json()).then(data => {
fetch("counters.json", {cache: "no-store"}).then(response => response.json()).then(data => {
var html_gh = '<input type="checkbox" id="btn_norm" onclick="UpdImageSrc()" checked=true>Normalize\t'
for(var key in data.counters) {
console.log(key, data.counters[key])
@@ -294,14 +294,14 @@
//document.getElementById('what').innerHTML = ""
d3.select('nav').style('visibility', 'hidden')
fetch(file_to_gather)
fetch(file_to_gather, {cache: "no-store"})
.then(response => response.json())
.then(data => {
code_data_file = file_to_gather.split('_sm')[0]+'_code.json'
console.log("Requestd:", file_to_gather)
console.log("Request code:", code_data_file)
fetch(code_data_file)
fetch(code_data_file, {cache: "no-store"})
.then(response => response.json())
.then(code_data => {
const SP = '\u00A0'