chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ce16a4) | patch
poison, locks: Rename lock_even_poisoned
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 15:45:29 +0000 (16:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 15:45:55 +0000 (16:45 +0100)
commit371ce26ec7b647ed9ce7ca15e66961f3fbb8279e
tree07e6d6e561de4a70dfd13e9abe4e1c50c045a03atree | snapshot
parent1ce16a412c047721052bec687905f4aa162c3158commit | diff
poison, locks: Rename lock_even_poisoned

Actually, this just checks for liveness now.

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