mirror of
https://github.com/rust-lang/rust.git
synced 2026-06-02 06:28:20 +03:00
Aleksey Kladov
30b8468c7e
Progress notifications are edge triggered, while status is level triggered. This makes it a hared to misuse signal for the readiness of the server.