Pages/StreamPage/dev_stats library

Classes

DevStatsPanel
A "Stats" button that opens a panel of geeky numbers: ObservANT's from /healthz, refreshed every interval while open, and the browser's own from playback.
ServerStats
ObservANT's own numbers, from /healthz's stats; a field it cannot measure is null.