diff options
| author | Jochen Neumeister <joneum@FreeBSD.org> | 2020-11-08 09:41:25 +0000 |
|---|---|---|
| committer | Jochen Neumeister <joneum@FreeBSD.org> | 2020-11-08 09:41:25 +0000 |
| commit | a62661e2b6a881367904f1d3fcfe62192277ff1d (patch) | |
| tree | 2cb611b3f4bb810f58d8219539be99006a4a1052 /databases/mysqlwsrep57-server/files/patch-sql_binlog.cc | |
| parent | Allow to build on RISC-V architecture. (diff) | |
Update to 5.7.31-25.23
Changelog: http://releases.galeracluster.com/mysql-wsrep-5.7.31-25.23/release-notes-mysql-wsrep-5.7.31-25.23.txt
PR: 250508
Submitted by: maintainer
Sponsored by: Netzkommune GmbH
Diffstat (limited to '')
| -rw-r--r-- | databases/mysqlwsrep57-server/files/patch-sql_binlog.cc | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/databases/mysqlwsrep57-server/files/patch-sql_binlog.cc b/databases/mysqlwsrep57-server/files/patch-sql_binlog.cc new file mode 100644 index 000000000000..270179e31aa4 --- /dev/null +++ b/databases/mysqlwsrep57-server/files/patch-sql_binlog.cc @@ -0,0 +1,24 @@ +--- sql/binlog.cc.orig 2020-11-02 12:26:34 UTC ++++ sql/binlog.cc +@@ -10144,8 +10144,8 @@ void MYSQL_BIN_LOG::report_missing_purged_gtids(const + + char* missing_gtids= NULL; + char* slave_executed_gtids= NULL; +- gtid_missing.to_string(&missing_gtids, NULL); +- slave_executed_gtid_set->to_string(&slave_executed_gtids, NULL); ++ gtid_missing.to_string(&missing_gtids, false); ++ slave_executed_gtid_set->to_string(&slave_executed_gtids, false); + + /* + Log the information about the missing purged GTIDs to the error log +@@ -10216,8 +10216,8 @@ void MYSQL_BIN_LOG::report_missing_gtids(const Gtid_se + Gtid_set gtid_missing(slave_executed_gtid_set->get_sid_map()); + gtid_missing.add_gtid_set(slave_executed_gtid_set); + gtid_missing.remove_gtid_set(previous_gtid_set); +- gtid_missing.to_string(&missing_gtids, NULL); +- slave_executed_gtid_set->to_string(&slave_executed_gtids, NULL); ++ gtid_missing.to_string(&missing_gtids, false); ++ slave_executed_gtid_set->to_string(&slave_executed_gtids, false); + + String tmp_uuid; + uchar name[]= "slave_uuid"; |