#include <gtid_manager.h>
◆ clock
◆ duration
◆ Gtid
◆ GtidSet
◆ Uid
◆ GtidManager()
mrs::GtidManager::GtidManager |
( |
| ) |
|
|
inline |
◆ configure()
void mrs::GtidManager::configure |
( |
const std::string & |
json_config | ) |
|
|
inline |
◆ get_context()
◆ is_executed_on_server()
◆ needs_update() [1/2]
◆ needs_update() [2/2]
◆ parse_json_options()
GtidOptions mrs::GtidManager::parse_json_options |
( |
const std::string & |
options | ) |
|
|
inlineprivate |
◆ reinitialize()
◆ remember()
◆ address_context_
◆ enable_
bool mrs::GtidManager::enable_ {true} |
|
private |
◆ mutex_address_container_
std::mutex mrs::GtidManager::mutex_address_container_ |
|
private |
◆ refresh_after_
std::optional<uint64_t> mrs::GtidManager::refresh_after_ {} |
|
private |
◆ refresh_timeout_
duration mrs::GtidManager::refresh_timeout_ {} |
|
private |
The documentation for this class was generated from the following file: