database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00
Code Activity

Auto merge from 5.1-rep+2

Browse Source
This commit is contained in:
He Zhenxing
2009-10-29 15:14:50 +08:00
parent e78fae2186 39f7da882e
commit 97565b8d1a
16 changed files with 279 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
mysql-test/include/have_semisync_plugin.inc
View File

@@ -12,3 +12,10 @@ if (`select LENGTH('$SEMISYNC_MASTER_PLUGIN') = 0`)
{
skip Need semisync plugins;
}
#
# Check if --plugin-dir was setup for semisync
#
if (`SELECT CONCAT('--plugin-dir=', @@plugin_dir) != '$SEMISYNC_PLUGIN_OPT'`) {
--skip SEMISYNC plugin requires that --plugin-dir is set to the semisync plugin dir (either the .opt file does not contain \$SEMISYNC_PLUGIN_OPT or another plugin is in use)
}