Handle hostnames with upper-case letters
[webmin.git] / usermin / change_mobile.cgi
1 #!/usr/local/bin/perl
2 # Display options specific to mobile devices
3
4 require './usermin-lib.pl';
5 &ReadParse();
6 &error_setup($text{'mobile_err'});
7
8 &lock_file($usermin_miniserv_config);
9 &lock_file("$config{'usermin_dir'}/config");
10 &get_usermin_miniserv_config(\%miniserv);
11 &get_usermin_config(\%uconfig);
12
13 # Validate and store inputs
14 if ($in{'theme'} eq '*') {
15         delete($miniserv{'mobile_preroot'});
16         delete($uconfig{'mobile_theme'});
17         }
18 else {
19         $miniserv{'mobile_preroot'} = $in{'theme'};
20         $uconfig{'mobile_theme'} = $in{'theme'};
21         }
22 $miniserv{'mobile_nosession'} = $in{'nosession'};
23 $in{'agents'} =~ s/\r//g;
24 $miniserv{'mobile_agents'} = join("\t", split(/\n+/, $in{'agents'}));
25 $miniserv{'mobile_prefixes'} = $in{'prefixes'};
26
27 # Write out files
28 &put_usermin_miniserv_config(\%miniserv);
29 &unlock_file($usermin_miniserv_config);
30 &put_usermin_config(\%uconfig);
31 &unlock_file("$config{'usermin_dir'}/config");
32
33 &reload_usermin_miniserv();
34 &webmin_log('mobile', undef, undef, \%in);
35 &redirect("");
36
37