From 95abbd785ee385fba6ec527ea1d914d0d8d96b03 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 19 Oct 2015 08:04:37 +0200 Subject: [PATCH] log files: search case-insensitive --- src/www/guiconfig.inc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/www/guiconfig.inc b/src/www/guiconfig.inc index bbb79e1fc..73f893d13 100644 --- a/src/www/guiconfig.inc +++ b/src/www/guiconfig.inc @@ -409,11 +409,11 @@ function dump_clog($logfile, $tail, $withorig = true, $grepfor = '', $grepinvert $logarr = ''; if (is_array($grepfor)) { - $grepline .= " | /usr/bin/egrep " . escapeshellarg(implode("|", $grepfor)); + $grepline .= " | /usr/bin/egrep -i " . escapeshellarg(implode("|", $grepfor)); } if (is_array($grepinvert)) { - $grepline .= " | /usr/bin/egrep -v " . escapeshellarg(implode("|", $grepinvert)); + $grepline .= " | /usr/bin/egrep -iv " . escapeshellarg(implode("|", $grepinvert)); } if (is_dir($logfile)) { @@ -440,11 +440,11 @@ function dump_log($logfile, $tail, $withorig = true, $grepfor = '', $grepinvert $logarr = ''; if (is_array($grepfor)) { - $grepline .= " | /usr/bin/egrep " . escapeshellarg(implode("|", $grepfor)); + $grepline .= " | /usr/bin/egrep -i " . escapeshellarg(implode("|", $grepfor)); } if (is_array($grepinvert)) { - $grepline .= " | /usr/bin/egrep -v " . escapeshellarg(implode("|", $grepinvert)); + $grepline .= " | /usr/bin/egrep -iv " . escapeshellarg(implode("|", $grepinvert)); } if (is_dir($logfile)) {