fine-tune

This commit is contained in:
mutouyun 2019-02-13 06:59:28 +08:00
parent f59d94ee17
commit ed6af29264

View File

@ -98,8 +98,7 @@ public:
if (!std::forward<F>(pred)()) return true; if (!std::forward<F>(pred)()) return true;
++ counter_; ++ counter_;
} }
if (!s(h).wait()) return false; return s(h).wait() && w(h).post();
return w(h).post();
} }
void notify(handle_t& h) { void notify(handle_t& h) {