remove thd_mark_as_hard_kill()

(because it's conceptually wrong. only the user can decide whether the kill is
allowed to leave tables in the inconsistent state, storage engine has no say in that)

1 files changed, 0 insertions, 12 deletions

diff --git a/sql/sql_class.cc b/sql/sql_class.cc
index 312de8c74e4..616e827a552 100644
--- a/sql/sql_class.cc
+++ b/sql/sql_class.cc
@@ -3853,18 +3853,6 @@ extern "C" int thd_killed(const MYSQL_THD thd)
   return thd->killed;
 }
 
-/**
-  Change kill level to hard.
-  This ensures that thd_killed() will return true.
-  This is important for storage engines that uses thd_killed() to
-  verify if thread is killed.
-*/
-
-extern "C" void thd_mark_as_hard_kill(MYSQL_THD thd)
-{
-  thd->mark_as_hard_kill();
-}
-
 
 /**
    Send an out-of-band progress report to the client