]> git.lizzy.rs Git - rust.git/commit
Merge #147
authorbors[bot] <bors[bot]@users.noreply.github.com>
Sat, 20 Oct 2018 20:04:06 +0000 (20:04 +0000)
committerbors[bot] <bors[bot]@users.noreply.github.com>
Sat, 20 Oct 2018 20:04:06 +0000 (20:04 +0000)
commitfd336d1134d405d833b762101a25c00076bc7fd2
tree040ab6dc1286ab9fe5da0002d29ae4eb7a37850a
parent73dd870da2dcc991b0fdcdde8bee91f05cb9e182
parent0102a01f76c855da447e25eb81191047a3ca79b8
Merge #147

147: Cancelation r=matklad a=matklad

This series of commits switch cancellation strategy from `JobToken` (which are cancellation tokens, explicitly controlled by the called) to salsa built-in auto cancellation. "Auto" means that, as soon as we advance the revision, all pending queries are cancelled automatically, and this looks like a semantic we actually want.

"client-side" cancellation is a rare event, and it's ok to just punt on it. Automatic cancellation after the user types something in happens all the time.

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>