diff options
| author | Aleksey Kladov <[email protected]> | 2020-10-30 18:38:29 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-10-30 18:57:52 +0000 |
| commit | 3b9548e163ed64d21d56873a4ba3583bf2f44535 (patch) | |
| tree | 4de2b573a2e0b4f02e6edc788737d40199a7a204 /crates/ide/src/syntax_highlighting/injection.rs | |
| parent | e7c8c600b783bbf12deb952a2e10be23264de953 (diff) | |
Respond with JSON-RPC error if we failed to deserialize request
Historically, we intentinally violated JSON-RPC spec here by hard
crashing. The idea was to poke both the clients and servers to fix
stuff.
However, this is confusing for server implementors, and falls down in
one important place -- protocol extension are not always backwards
compatible, which causes crashes simply due to version mismatch. We
had once such case with our own extension, and one for semantic
tokens.
So let's be less adventerous and just err on the err side!
Diffstat (limited to 'crates/ide/src/syntax_highlighting/injection.rs')
0 files changed, 0 insertions, 0 deletions