10 Commits

Include renames

Author	SHA1	Message	Date
Ian Renton	5230fa535f	Set up web UI using web_ui_options embedded directly into HTML, to avoid more complex JS load order faff #102	2026-01-30 22:24:12 +00:00
Ian Renton	cfff8dd832	Allow providers to be off-by-default in the web UI. Closes #93	2026-01-11 15:03:17 +00:00
Ian Renton	6cf1b38355	Fix metrics content type?	2025-12-24 10:10:46 +00:00
Ian Renton	bcc40d1416	SSE custom headers #3	2025-12-24 09:44:55 +00:00
Ian Renton	2fead92dc5	SSE updates every 5 seconds is probably fine, we don't really need every second. #3	2025-12-24 08:57:38 +00:00
Ian Renton	70dc1b495c	Fix SSE connections not respecting filters #3	2025-12-23 22:24:30 +00:00
Ian Renton	86beb27ebf	Implement SSE endpoints in Tornado #3	2025-12-23 21:01:41 +00:00
Ian Renton	d463403018	Implement web server metrics in Tornado #3	2025-12-23 14:23:50 +00:00
Ian Renton	23a6e08777	Implement more request handlers in Tornado #3	2025-12-23 14:05:28 +00:00
Ian Renton	61784e8af6	Split up some code for sanity #3	2025-12-23 11:51:00 +00:00