diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-17 09:56:36 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-17 09:56:36 +0100 |
commit | 645a7b77b6e2eae08e0db3b2cb29ca1040c8a9d8 (patch) | |
tree | 6018c66b0b56449b4a2114612d71776549ee3ab1 /crates/ra_hir/src/ids.rs | |
parent | d3afb1b3782683c3e800b38b4c24b7581918fb7f (diff) | |
parent | f75feb67244c279e75a4e8c9996a72eed729d321 (diff) |
Merge #1158
1158: cleanup cancellation r=matklad a=matklad
Now that we explicitelly exit the reading loop on exit notification,
we can assume that the sender is always alive
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ids.rs')
0 files changed, 0 insertions, 0 deletions