1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

MDEV-4506, parallel replication.

Some after-review fixes.
This commit is contained in:
unknown
2013-09-13 15:09:57 +02:00
parent 13fddb32de
commit d107bdaa01
16 changed files with 311 additions and 191 deletions

View File

@ -1143,7 +1143,7 @@ bool Deferred_log_events::is_empty()
return array.elements == 0;
}
bool Deferred_log_events::execute(struct rpl_group_info *rgi)
bool Deferred_log_events::execute(rpl_group_info *rgi)
{
bool res= false;