mirror of https://github.com/MariaDB/server
Browse Source
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.pull/73/head
1 changed files with 0 additions and 1 deletions
Loading…
Reference in new issue