This website requires JavaScript.
Explore
Help
Sign in
mirror
/
mariadb
Watch
1
Star
0
Fork
You've already forked mariadb
0
mirror of
https://github.com/MariaDB/server.git
synced
2026-05-15 19:37:16 +02:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
fc3c4e70c2
mariadb
/
mysql-test
/
suite
/
rpl
/
t
/
rpl_semi_sync-master.opt
Bjorn Munch
e0678e2ca6
some test fixes after merging 57840
2010-11-06 19:21:12 +01:00
2 lines
37 B
Text
Raw
Blame
History
$SEMISYNC_PLUGIN_OPT
--force-restart
Reference in a new issue
View git blame
Copy permalink