From 70f6ac10b3130f14205dbcc56c7089c1c139afd3 Mon Sep 17 00:00:00 2001
From: Sergei Golubchik <sergii@pisem.net>
Date: Wed, 11 Dec 2013 17:42:33 +0100
Subject: [PATCH] MDEV-5323 Ctrl-C not working under Ubuntu

don't reset interrupted_query after sending the KILL signal, otherwise
the client won't know it has to stop fetching and printing the data.
---
 client/mysql.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/client/mysql.cc b/client/mysql.cc
index e3885422563..a37392c7fc5 100644
--- a/client/mysql.cc
+++ b/client/mysql.cc
@@ -1383,7 +1383,6 @@ sig_handler handle_sigint(int sig)
   mysql_real_query(kill_mysql, kill_buffer, (uint) strlen(kill_buffer));
   mysql_close(kill_mysql);
   tee_fprintf(stdout, "Ctrl-C -- query killed. Continuing normally.\n");
-  interrupted_query= 0;
   if (in_com_source)
     aborted= 1;                                 // Abort source command
   return;