tmp/tmp_a5f3bxn/{from.md → to.md}
RENAMED
|
@@ -30,11 +30,11 @@ bool request_stop() noexcept;
|
|
| 30 |
has received a stop request, and if not, makes a stop request. The
|
| 31 |
determination and making of the stop request are an atomic
|
| 32 |
read-modify-write operation [[intro.races]]. If the request was made,
|
| 33 |
the callbacks registered by associated `stop_callback` objects are
|
| 34 |
synchronously called. If an invocation of a callback exits via an
|
| 35 |
-
exception then `terminate` is
|
| 36 |
|
| 37 |
[*Note 1*: A stop request includes notifying all condition variables of
|
| 38 |
type `condition_variable_any` temporarily registered during an
|
| 39 |
interruptible wait [[thread.condvarany.intwait]]. — *end note*]
|
| 40 |
|
|
|
|
| 30 |
has received a stop request, and if not, makes a stop request. The
|
| 31 |
determination and making of the stop request are an atomic
|
| 32 |
read-modify-write operation [[intro.races]]. If the request was made,
|
| 33 |
the callbacks registered by associated `stop_callback` objects are
|
| 34 |
synchronously called. If an invocation of a callback exits via an
|
| 35 |
+
exception then `terminate` is invoked [[except.terminate]].
|
| 36 |
|
| 37 |
[*Note 1*: A stop request includes notifying all condition variables of
|
| 38 |
type `condition_variable_any` temporarily registered during an
|
| 39 |
interruptible wait [[thread.condvarany.intwait]]. — *end note*]
|
| 40 |
|