Handle hostnames with upper-case letters
[webmin.git] / phpini / save_manual.cgi
1 #!/usr/local/bin/perl
2 # Write to a manually edited PHP config file
3
4 require './phpini-lib.pl';
5 &ReadParseMime();
6 &error_setup($text{'manual_err'});
7 &can_php_config($in{'file'}) || &error($text{'manual_ecannot'});
8 $access{'manual'} || &error($text{'manual_ecannot'});
9
10 # Validate input
11 $in{'data'} =~ s/\r//g;
12 $in{'data'} =~ /\S/ || &error($text{'manual_edata'});
13
14 # Save the file
15 &open_lock_tempfile(FILE, ">$in{'file'}");
16 &print_tempfile(FILE, $in{'data'});
17 &close_tempfile(FILE);
18
19 &graceful_apache_restart();
20 &webmin_log("manual", $in{'file'});
21 &redirect("");
22