mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
merge from 5.1-mtr
This commit is contained in:
commit
bec841ce5d
15 changed files with 400 additions and 187 deletions
|
|
@ -57,3 +57,13 @@ BEGIN
|
|||
mysql.user;
|
||||
|
||||
END||
|
||||
|
||||
--
|
||||
-- Procedure used by test case used to force all
|
||||
-- servers to restart after testcase and thus skipping
|
||||
-- check test case after test
|
||||
--
|
||||
CREATE DEFINER=root@localhost PROCEDURE force_restart()
|
||||
BEGIN
|
||||
SELECT 1 INTO OUTFILE 'force_restart';
|
||||
END||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue