2 # Save DAV server options
4 require './usermin-lib.pl';
5 &error_setup($text{'dav_err'});
6 &get_usermin_miniserv_config(\%miniserv);
10 delete($miniserv{'davpaths'});
13 $in{'path'} =~ /^\/\S/ || &error($text{'dav_epath'});
14 $miniserv{'davpaths'} = $in{'path'};
17 if ($in{'root_def'} == 0) {
18 delete($miniserv{'dav_root'});
20 elsif ($in{'root_def'} == 1) {
21 $miniserv{'dav_root'} = '*';
24 -d $in{'root'} || &error($text{'dav_eroot'});
25 $miniserv{'dav_root'} = $in{'root'};
28 if ($in{'users_def'}) {
29 delete($miniserv{'dav_users'});
32 $in{'users'} =~ /\S/ || &error($text{'dav_eusers'});
33 $miniserv{'dav_users'} = join(" ", split(/\s+/, $in{'users'}));
36 if (!defined($miniserv{'dav_remoteuser'})) {
37 $miniserv{'dav_remoteuser'} = 1;
41 &lock_file($usermin_miniserv_config);
42 &put_usermin_miniserv_config(\%miniserv);
43 &unlock_file($usermin_miniserv_config);
44 &restart_usermin_miniserv();