mirror of
https://github.com/MariaDB/server.git
synced 2025-08-29 00:08:14 +03:00

Recognize the --no-defaults, --defaults-file and --defaults-extra-file options. Treat old --config-file argument as if --defaults-extra-file had been specified instead. Plus a few other defaults-related cleanups.