From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Mar 2022 22:31:03 +0000 (+0100)
Subject: Mutex debug: Enable it (for demo and testing)
X-Git-Tag: otter-1.0.0~106
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f36c9dc24af1e1f7cdd687ab27799d6f6ad684cc;p=otter.git

Mutex debug: Enable it (for demo and testing)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/prelude.rs b/src/prelude.rs
index ac970131..882381c1 100644
--- a/src/prelude.rs
+++ b/src/prelude.rs
@@ -113,8 +113,8 @@ pub use crate::imports::zipfile::{self, read::ZipFile, result::ZipError};
 pub use parking_lot::{RwLock, RwLockReadGuard, RwLockWriteGuard};
 
 // Swap this over for debugging
-pub use parking_lot::{Mutex, MutexGuard};
-//pub use crate::debugmutex::{Mutex, MutexGuard};
+//pub use parking_lot::{Mutex, MutexGuard};
+pub use crate::debugmutex::{Mutex, MutexGuard};
 
 use nix::time::ClockId;
 pub const CLOCK_REALTIME : ClockId = ClockId::CLOCK_REALTIME ;