diff options
| author | Aleksey Kladov <[email protected]> | 2019-06-01 08:57:44 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-06-01 08:57:44 +0100 |
| commit | f89d34be6a93263d7fa506bba6da1d1d7de237bc (patch) | |
| tree | 4a631d74872b41bb2f8325962d7041f5b1055f92 /docs | |
| parent | 5023860a55328db5ef024225263ed71f46a19350 (diff) | |
don't poison mutex around chalk
We use panics for cancellation, so we could trigger panic while
holding the solver. std::sync::Mutex will be poisoned as a result,
which and all further attempts to use solver (from other threads) will
panic as well.
This commit switches to parking_lot::Mutex which just unlocks on panic.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions