mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
upmerge 11766654
This commit is contained in:
commit
06bfd1476d
1 changed files with 10 additions and 0 deletions
|
@ -72,3 +72,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…
Reference in a new issue