diff options
Diffstat (limited to 'mysql-test/include/rpl_init.inc')
| -rw-r--r-- | mysql-test/include/rpl_init.inc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/mysql-test/include/rpl_init.inc b/mysql-test/include/rpl_init.inc index 6419682e650..e608a1223a5 100644 --- a/mysql-test/include/rpl_init.inc +++ b/mysql-test/include/rpl_init.inc @@ -189,13 +189,6 @@ while ($_rpl_server) # Signal that initialization is done and all connections created. --let $rpl_inited= 1 -# Signal that the server is in a dirty state and needs to be restarted -# if the test is skipped. If the test is not skipped, it will continue -# to the end and execute its cleanup section (and check-testcase will -# report if you forget to clean up). ---source include/force_restart_if_skipped.inc - - # Assert that all hosts have different server_ids if ($rpl_check_server_ids) { |