mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-27 10:59:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
zed/crates/collab
History
Antonio Scandurra a85f9e74b1 Harvest the latest metrics when /metrics is requested 
Now that we track active projects, if nothing happens to the store
during the activity timeout we would still serve some old metrics
that may not account for the staleness of a project.

This commit changes it so that we grab a mutable reference to the store
before serving the metrics, which has the side effect of updating
all the metrics.
2022-06-15 10:54:51 +02:00
..
k8s Move prometheus annotations from deployment to pod spec 2022-06-10 14:32:36 -07:00
migrations Update foreign key constraints to allow users to be deleted 2022-05-23 17:46:06 -06:00
src Harvest the latest metrics when /metrics is requested 2022-06-15 10:54:51 +02:00
.env.template.toml Add affordance to copy user's invite link if they have a code 2022-05-19 17:57:46 -06:00
basic.conf Rename zed-server to collab 2022-04-09 08:30:42 -06:00
Cargo.toml Add OpenMetrics endpoint exposing the basic RPC store metrics as guages 2022-06-10 13:32:56 -07:00
Procfile Rename zed-server to collab 2022-04-09 08:30:42 -06:00
README.md Remove more files supporting the old web front-end 2022-04-21 09:06:34 -06:00

README.md

Zed Server

This crate is what we run at https://collab.zed.dev.

It contains our back-end logic for collaboration, to which we connect from the Zed client via a websocket after authenticating via https://zed.dev, which is a separate repo running on Vercel.