diff options
| author | Sergei Golubchik <sergii@pisem.net> | 2013-01-15 17:46:46 +0100 |
|---|---|---|
| committer | Sergei Golubchik <sergii@pisem.net> | 2013-01-15 17:46:46 +0100 |
| commit | 750b9147fced7202b541be946e044eb739b20a03 (patch) | |
| tree | cb378c2d311993254aec75d4d81a5f32a2dcb71d /debian | |
| parent | a87eab6061068491ec9004ae54c46630619cb531 (diff) | |
| download | mariadb-git-750b9147fced7202b541be946e044eb739b20a03.tar.gz | |
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)
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions