diff options
author | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-02-14 18:51:25 -0500 |
---|---|---|
committer | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-02-14 18:51:25 -0500 |
commit | 53eb3cc4479c7904b8abf4f5c6df666052ea5963 (patch) | |
tree | a56887459c8d094aefae44d633dcf7815a690e4d | |
parent | 94171073449ee8505971c6ef695bb7b5d1c96520 (diff) |
cleanfix
-rwxr-xr-x | src/mariadb-push-replica.sh | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/mariadb-push-replica.sh b/src/mariadb-push-replica.sh index c9b513b..535ef61 100755 --- a/src/mariadb-push-replica.sh +++ b/src/mariadb-push-replica.sh | |||
@@ -414,9 +414,15 @@ main() | |||
414 | run_replica \ | 414 | run_replica \ |
415 | show_all_databases | 415 | show_all_databases |
416 | fi | 416 | fi |
417 | gtid=$(run_primary | 417 | if gtid=$(\ |
418 | mariadb_get_primary_gtid </dev/null) | 418 | run_primary \ |
419 | [ "$gtid" ] && run_replica wait_on_gtid "$gtid" | 419 | mariadb_get_primary_gtid \ |
420 | </dev/null) && | ||
421 | [ "$gtid" ] | ||
422 | then | ||
423 | run_replica \ | ||
424 | mariadb_wait_on_gtid "$gtid" | ||
425 | fi | ||
420 | } | 426 | } |
421 | 427 | ||
422 | mariadb_get_primary_gtid() | 428 | mariadb_get_primary_gtid() |
@@ -427,7 +433,7 @@ select | |||
427 | . | 433 | . |
428 | } | 434 | } |
429 | 435 | ||
430 | wait_on_gtid() | 436 | mariadb_wait_on_gtid() |
431 | { | 437 | { |
432 | local gtid="$1" | 438 | local gtid="$1" |
433 | mariadb -t <<. | 439 | mariadb -t <<. |