1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Merge 10.3 into 10.4

This commit is contained in:
Marko Mäkelä
2020-03-20 22:06:55 +02:00
81 changed files with 2790 additions and 2803 deletions

View File

@@ -1,4 +1,5 @@
/* Copyright (c) 2013, Kristian Nielsen and MariaDB Services Ab.
Copyright (c) 2020, MariaDB Corporation.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
@@ -2561,7 +2562,8 @@ gtid_waiting::wait_for_pos(THD *thd, String *gtid_str, longlong timeout_us)
/* fall through */
case 0:
status_var_add(thd->status_var.master_gtid_wait_time,
microsecond_interval_timer() - before);
static_cast<ulong>
(microsecond_interval_timer() - before));
}
my_free(wait_pos);
return err;