menu
Channels
Team

Is there any plugin/extension in theia for getting monitoring metrics?

June 6, 2020 at 6:03pm

Is there any plugin/extension in theia for getting monitoring metrics?

June 6, 2020 at 6:03pm
Tools like rstudio and che have monitoring metrics https://www.eclipse.org/che/docs/che-7/monitoring-che/#collecting-che-metrics-with-prometheus_monitoring-che, is there a plugin in Theia from where we can get health & monitoring logs like active sessions, number of users etc?

June 8, 2020 at 6:39am
/metrics - https://www.npmjs.com/package/metrics
Edited
  • reply
  • like

June 8, 2020 at 3:18pm
note however that the /metrics extension only ATM provide some Prometheus metrics related to the backend node.js process, IIRC. So nothing at the Theia application level in there, probably.
  • reply
  • like
private
This channel has been archived