50dd11985c
A language server may push a response which doesn't belong to any request. With this change, we discard the response rather than crashing. In the case of #2474, the language server sends an error message with a null request ID which should not ever exist in the `pending_requests` HashMap. closes #2474 |
||
---|---|---|
.. | ||
client.rs | ||
lib.rs | ||
transport.rs |