1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00
two KILL versions
code trimming with headquarter's suggestions
This commit is contained in:
hf@deer.mysql.r18.ru
2003-04-08 19:18:33 +05:00
parent dcdc24b508
commit 0428d08606
17 changed files with 39 additions and 31 deletions

View File

@ -527,6 +527,14 @@ public:
enum killed_state { NOT_KILLED=0, KILL_CONNECTION=ER_SERVER_SHUTDOWN, KILL_QUERY=ER_QUERY_INTERRUPTED };
killed_state volatile killed;
inline int killed_errno() const
{
return killed;
}
inline void send_kill_message() const
{
my_error(killed_errno(), MYF(0));
}
bool prepare_command;
bool tmp_table_used;