gitpod/components/gitpod-protocol
Alex Tugarev 436130bf26
Fix listeners leaks – EXP-206 (#18321)
* [server] fix leaking prebuild update listeners

- check for client be defined in gitpod-server-impl
- add prebuild subscribers only if the thing is not disposed yet
   - this might have happened frequently on very short living workspacePageClose events

* [server] fix metric registration

don't override default registry, which breaks other metrics.

* fixup for getMetricsAsArray

* [server] bump prom-client
2023-08-02 18:28:27 +08:00
..
2023-02-02 12:32:40 +01:00
2020-08-25 09:25:15 +00:00
2020-08-25 09:25:15 +00:00