From ed6af2926466a2139dedb2e964ff02d147ab2018 Mon Sep 17 00:00:00 2001 From: mutouyun Date: Wed, 13 Feb 2019 06:59:28 +0800 Subject: [PATCH] fine-tune --- src/platform/waiter_win.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/platform/waiter_win.h b/src/platform/waiter_win.h index 7db2d15..3915985 100644 --- a/src/platform/waiter_win.h +++ b/src/platform/waiter_win.h @@ -98,8 +98,7 @@ public: if (!std::forward(pred)()) return true; ++ counter_; } - if (!s(h).wait()) return false; - return w(h).post(); + return s(h).wait() && w(h).post(); } void notify(handle_t& h) {