mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
Fix buildbot failure introduced by the previous push
This commit is contained in:
parent
ea13c77652
commit
b67be0b23b
1 changed files with 0 additions and 1 deletions
|
@ -682,7 +682,6 @@ err:
|
|||
if ((save_errno == HA_ERR_CRASHED) ||
|
||||
(save_errno == HA_ERR_CRASHED_ON_USAGE) ||
|
||||
(save_errno == HA_ERR_CRASHED_ON_REPAIR))
|
||||
rec_per_key_part= 0;
|
||||
mi_report_error(save_errno, name);
|
||||
switch (errpos) {
|
||||
case 6:
|
||||
|
|
Loading…
Reference in a new issue