| 8017 | } |
| 8018 | |
| 8019 | void disengage() { |
| 8020 | assert(m_started && "Handler cannot be uninstalled without being installed first"); |
| 8021 | m_started = false; |
| 8022 | disengage_platform(); |
| 8023 | } |
| 8024 | }; |
| 8025 | |
| 8026 | //! Simple RAII guard for (dis)engaging the FatalConditionHandler |
no outgoing calls
no test coverage detected