Handle hostnames with upper-case letters
[webmin.git] / shorewall / dump.cgi
1 #!/usr/local/bin/perl
2 # dump.cgi
3 # Show a shorewall dump
4
5 require './shorewall-lib.pl';
6 &ui_print_header(undef, $text{'dump_title'}, "");
7 print "<font size=-1><pre>";
8 open(DUMP, "$config{'shorewall'} dump 2>&1 |");
9 while(<DUMP>) {
10         print &html_escape($_);
11         }
12 close(DUMP);
13 print "</pre></font>\n";
14 &ui_print_footer("", $text{'index_return'});
15