mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
manual merge of 28141
This commit is contained in:
commit
3f0d0d0633
7 changed files with 39 additions and 22 deletions
|
|
@ -97,7 +97,7 @@ select ((@id := kill_id) - kill_id) from t3;
|
|||
kill @id;
|
||||
|
||||
connection conn1;
|
||||
-- error 1053,2013
|
||||
-- error 1317,2013
|
||||
reap;
|
||||
|
||||
connection default;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue