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

Automatic merge with 5.1

This commit is contained in:
Michael Widenius
2010-11-04 16:53:10 +02:00
47 changed files with 758 additions and 264 deletions

View File

@ -4091,7 +4091,7 @@ static int com_source(String *buffer, char *line)
If we got an error during source operation, don't abort the client
if ignore_errors is set
*/
if (error && !batch_abort_on_error && ignore_errors)
if (error && ignore_errors)
error= -1; // Ignore error
return error;
}