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

Auto merge from 5.1-rep+2-delivery1

Browse Source
This commit is contained in:
He Zhenxing
2009-10-27 18:28:40 +08:00
parent eddd5403a7 42743de67d
commit ea84da107a
9 changed files with 110 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -13,3 +13,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)
}