jupyter-resource-usage
jupyter-resource-usage copied to clipboard
Switch to EventSource
Switch to using EventSource
- One request per user, with automatic reconnects! Much better than getting request logs be flodded by calls to /metrics
- Doesn't overlap with the prometheus endpoint at /metrics anymore
TODO:
- [ ] Add a polyfill so this works on IE / Edge
Add plugin mechanism
- Plugins can provide arbitrary resources that are sent to the client on the same EventSource.
- Default rss metric is provided this way
Would be nice to resurrect this.
And the universe keeps spinning