mirror of
https://github.com/boostorg/thread.git
synced 2026-01-27 07:22:11 +00:00
@@ -279,12 +279,12 @@ namespace boost
|
||||
interruption_enabled=false;
|
||||
#endif
|
||||
}
|
||||
// ~externally_launched_thread() {
|
||||
// BOOST_ASSERT(notify.empty());
|
||||
// notify.clear();
|
||||
// BOOST_ASSERT(async_states_.empty());
|
||||
// async_states_.clear();
|
||||
// }
|
||||
~externally_launched_thread() {
|
||||
BOOST_ASSERT(notify.empty());
|
||||
notify.clear();
|
||||
BOOST_ASSERT(async_states_.empty());
|
||||
async_states_.clear();
|
||||
}
|
||||
|
||||
void run()
|
||||
{}
|
||||
|
||||
Reference in New Issue
Block a user