diff options
| author | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-02-17 11:03:10 -0500 |
|---|---|---|
| committer | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-02-17 11:03:10 -0500 |
| commit | c6a15000d36bd893297626baade32dae4431f6da (patch) | |
| tree | 2db79bf3acf8b5fccd99e2355e76ad71053bdd5d /bash/SOURCES.bash | |
| parent | d7e9398c807cdbcb4bcaf9a00662d549efc6454c (diff) | |
exit with error if run_primary get_primary_gtid is empty or fails
Diffstat (limited to 'bash/SOURCES.bash')
0 files changed, 0 insertions, 0 deletions