database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00
Code Activity

Re-remove the file kill_and_restart_mysqld.inc

Browse Source
This commit is contained in:
Marko Mäkelä
2017-12-13 23:14:54 +02:00
parent ece9c54e10
commit 8063804943
12 changed files with 11 additions and 68 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
mysql-test/suite/innodb_gis/r/rtree_compress2.result
View File

@ -20,6 +20,5 @@ call mtr.add_suppression("InnoDB: A copy of page \[page id: space=[0-9]+, page n
START TRANSACTION;
CALL insert_t1(5000);
COMMIT;
# Kill and restart
drop procedure insert_t1;
drop table t1;