1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch '10.6' into 10.11

This commit is contained in:
Sergei Golubchik
2024-04-22 11:00:03 +02:00
418 changed files with 7074 additions and 2930 deletions

View File

@@ -3733,7 +3733,16 @@ public:
{
return GTID_HEADER_LEN + ((flags2 & FL_GROUP_COMMIT_ID) ? 2 : 0);
}
bool is_valid() const { return seq_no != 0; }
bool is_valid() const
{
/*
seq_no is set to 0 if the structure of a serialized GTID event does not
align with that as indicated by flags and extra_flags.
*/
return seq_no != 0;
}
#ifdef MYSQL_SERVER
bool write();
static int make_compatible_event(String *packet, bool *need_dummy_event,