database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00
Code Activity

manual.texi Fix typo in option name.

Browse Source
This commit is contained in:
paul@teton.kitebird.com
2002-09-21 19:07:07 -05:00
parent 1f64f8d07d
commit ebfa7aa5d0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Docs/manual.texi
View File

@@ -14738,7 +14738,7 @@ If you need to do this more permanently, you should create an option
file for each server. @xref{Option files}. In your startup script that file for each server. @xref{Option files}. In your startup script that
is executed at boot time you should specify for both servers: is executed at boot time you should specify for both servers:
@code{safe_mysqld --default-file=path-to-option-file} @code{safe_mysqld --defaults-file=path-to-option-file}
At least the following options should be different per server: At least the following options should be different per server: