1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-21 11:01:08 +03:00

auto merge

This commit is contained in:
Tatjana Azundris Nuernberg
2012-02-19 09:09:44 +00:00

View File

@@ -175,7 +175,8 @@ The following options may be given as the first argument:
GROUP_CONCAT() GROUP_CONCAT()
-?, --help Display this help and exit. -?, --help Display this help and exit.
--ignore-builtin-innodb --ignore-builtin-innodb
Disable initialization of builtin InnoDB plugin DEPRECATED. This option will be removed in future
releases. Disable initialization of builtin InnoDB plugin
--init-connect=name Command(s) that are executed for each new connection --init-connect=name Command(s) that are executed for each new connection
--init-file=name Read SQL commands from this file at startup --init-file=name Read SQL commands from this file at startup
--init-rpl-role=name --init-rpl-role=name