1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

compilation fix for Windows

This commit is contained in:
Sergei Golubchik
2019-10-30 00:47:50 +01:00
parent 84088d9458
commit 20b72a3fad

View File

@@ -1378,9 +1378,11 @@ sig_handler handle_sigint(int sig)
if (!executing_query)
{
tee_fprintf(stdout, "Ctrl-C\n");
#ifdef HAVE_READLINE
rl_on_new_line(); // Regenerate the prompt on a newline
rl_replace_line("", 0); // Clear the previous text
rl_redisplay();
#endif
return;
}