1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

A follow-up on WL#5154 and WL#5182: remove forgotten options.

This commit is contained in:
Alexander Nozdrin
2010-03-03 22:22:02 +03:00
parent 1befd1fb25
commit 4f08c6d0e5
46 changed files with 95 additions and 288 deletions

View File

@ -1150,7 +1150,7 @@ sub opts_from_file ($) {
{
chomp;
# --set-variable=init_connect=set @a='a\\0c'
# --init_connect=set @a='a\\0c'
s/^\s+//; # Remove leading space
s/\s+$//; # Remove ending space