1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge pilot.mysql.com:/data/msvensson/mysql/mysql-5.1-rpl

into  pilot.mysql.com:/data/msvensson/mysql/mysql-5.1-maint2
This commit is contained in:
msvensson@pilot.mysql.com
2008-04-25 08:23:57 +02:00
6 changed files with 72 additions and 26 deletions

View File

@ -46,7 +46,7 @@ sub collect_option {
my ($opt, $value)= @_;
# Convert - to _ in option name
$opt =~ s/-/_/;
$opt =~ s/-/_/g;
no strict 'refs';
${$opt}= $value;
}