webmin/change_theme.cgi

   1 #!/usr/local/bin/perl
   2 # change_theme.cgi
   3 # Change the current webmin theme
   4
   5 require './webmin-lib.pl';
   6 &ReadParse();
   7
   8 &lock_file("$config_directory/config");
   9 ($gtheme, @others) = split(/\s+/, $gconfig{'theme'});
  10 if ($in{'theme'}) {
  11         $gconfig{'theme'} = join(" ", $in{'theme'}, @others);
  12         }
  13 else {
  14         delete($gconfig{'theme'});
  15         }
  16 &write_file("$config_directory/config", \%gconfig);
  17 &unlock_file("$config_directory/config");
  18
  19 &lock_file($ENV{'MINISERV_CONFIG'});
  20 &get_miniserv_config(\%miniserv);
  21 if ($in{'theme'}) {
  22         $miniserv{'preroot'} = join(" ", $in{'theme'}, @others);
  23         }
  24 else {
  25         delete($miniserv{'preroot'});
  26         }
  27 &put_miniserv_config(\%miniserv);
  28 &unlock_file($ENV{'MINISERV_CONFIG'});
  29 &reload_miniserv();
  30
  31 &webmin_log('theme', undef, undef, \%in);
  32 &ui_print_header(undef, $text{'themes_title'}, "");
  33 print "$text{'themes_ok'}<p>\n";
  34 print &js_redirect("/", "top");
  35 &ui_print_footer("", $text{'index_return'});
  36