1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge branch '10.11' into 11.0

This commit is contained in:
Sergei Golubchik
2024-02-01 18:54:52 +01:00
12 changed files with 89 additions and 17 deletions

View File

@@ -2300,10 +2300,7 @@ static int read_and_execute(bool interactive)
the readline/libedit library.
*/
if (line)
{
free(line);
glob_buffer.length(0);
}
line= readline(prompt);
#ifdef USE_LIBEDIT_INTERFACE
/*