1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

also protect the /*!999999 sandbox comment

This commit is contained in:
Sergei Golubchik
2024-06-17 15:54:30 +02:00
parent d60f5c11ea
commit d20518168a
25 changed files with 168 additions and 165 deletions

View File

@ -755,7 +755,7 @@ static void write_header(FILE *sql_file, const char *db_name)
}
else
{
fprintf(sql_file, "/*!999999\\- enable the sandbox mode */ \n");
fprintf(sql_file, "/*M!999999\\- enable the sandbox mode */ \n");
if (!opt_compact)
{
print_comment(sql_file, 0,