Handle hostnames with upper-case letters
[webmin.git] / burner / save_dev.cgi
1 #!/usr/local/bin/perl
2 # save_dev.cgi
3 # Save global device options
4
5 require './burner-lib.pl';
6 $access{'global'} || &error($text{'dev_ecannot'});
7 &ReadParse();
8 &error_setup($text{'dev_err'});
9
10 $config{'dev'} = $in{'dev'};
11 if ($in{'speed'}) {
12         $config{'speed'} = $in{'speed'};
13         }
14 else {
15         $in{'other'} =~ /^\d+$/ || &error($text{'dev_eother'});
16         $config{'speed'} = $in{'other'};
17         }
18 $config{'extra'} = $in{'extra'};
19 &write_file("$module_config_directory/config", \%config);
20 &redirect("");
21