Merge branch 'master' of github.com:webmin/webmin

This commit is contained in:
Jamie Cameron
2020-09-06 12:04:56 -07:00
2 changed files with 4 additions and 1 deletions

View File

@@ -18,6 +18,9 @@ if (defined($in{'logfile'})) {
$numlines = 40;
if (defined($in{'numlines'})) {
$numlines = $in{'numlines'};
if ($numlines ne "all") {
$numlines = int($numlines);
}
}
if ($numlines eq "all") {

View File

@@ -75,7 +75,7 @@ elsif ($in{'view'}) {
&ui_print_header("<tt>".&html_escape($file || $cmd)."</tt>",
$text{'view_title'}, "");
$lines = $in{'lines'} ? int($in{'lines'}) : $config{'lines'};
$lines = $in{'lines'} ? int($in{'lines'}) : int($config{'lines'});
$filter = $in{'filter'} ? quotemeta($in{'filter'}) : "";
&filter_form();