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

..

api

SSE updates every 5 seconds is probably fine, we don't really need every second. #3

2025-12-24 08:57:38 +00:00

metrics.py

Split up some code for sanity #3

2025-12-23 11:51:00 +00:00

pagetemplate.py

Implement web server metrics in Tornado #3

2025-12-23 14:23:50 +00:00