2 # Display options specific to mobile devices
4 require './usermin-lib.pl';
6 &error_setup($text{'mobile_err'});
8 &lock_file($usermin_miniserv_config);
9 &lock_file("$config{'usermin_dir'}/config");
10 &get_usermin_miniserv_config(\%miniserv);
11 &get_usermin_config(\%uconfig);
13 # Validate and store inputs
14 if ($in{'theme'} eq '*') {
15 delete($miniserv{'mobile_preroot'});
16 delete($uconfig{'mobile_theme'});
19 $miniserv{'mobile_preroot'} = $in{'theme'};
20 $uconfig{'mobile_theme'} = $in{'theme'};
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'};
28 &put_usermin_miniserv_config(\%miniserv);
29 &unlock_file($usermin_miniserv_config);
30 &put_usermin_config(\%uconfig);
31 &unlock_file("$config{'usermin_dir'}/config");
33 &reload_usermin_miniserv();
34 &webmin_log('mobile', undef, undef, \%in);