chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 125bf26) | patch
poison, locks: Ignore all poisoning
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 15:39:44 +0000 (16:39 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 15:39:44 +0000 (16:39 +0100)
commit1ce16a412c047721052bec687905f4aa162c3158
treef858dfd46a22b79e2379f1dc14538fdeb2e79d9dtree | snapshot
parent125bf26862ff0f861b3356e2610d94e7eb5baa2acommit | diff
poison, locks: Ignore all poisoning

This does more harm than good.  Better to blunder on.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/error.rs diff | blob | history
src/global.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.