Handle hostnames with upper-case letters
[webmin.git] / mysql / config_info.pl
1
2 require './mysql-lib.pl';
3
4 sub show_charset
5 {
6 local ($value) = @_;
7 local $main::error_must_die = 1;
8 local @charsets;
9 eval { @charsets = &list_character_sets(); };
10 if (@charsets) {
11         @charsets = sort { $a->[1] cmp $b->[1] } @charsets;
12         return &ui_select("charset", $value,
13                           [ [ "", "<$text{'default'}>" ], @charsets ]);
14         }
15 else {
16         return &ui_opt_textbox("charset", $value, 20, $text{'default'});
17         }
18 }
19
20 sub parse_charset
21 {
22 if ($in{'charset_def'}) {
23         return undef;
24         }
25 else {
26         $in{'charset'} =~ /^\S*$/ || &error($text{'config_echarset'});
27         return $in{'charset'};
28         }
29 }