diff options
author | Bert Belder <bertbelder@gmail.com> | 2021-10-10 09:51:35 +0200 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2021-10-17 15:16:10 +0200 |
commit | ff95fc167d7124f3c7f2c6951070e2c40701cf32 (patch) | |
tree | 2b55915c4185d36880c4fcc14bf57d29f214a36f /core/ops_json.rs | |
parent | 62f43030b455508d4cd57603f9ed641fe609d0cd (diff) |
fix(core): avoid polling future after cancellation (#12385)
Diffstat (limited to 'core/ops_json.rs')
0 files changed, 0 insertions, 0 deletions