mirror of
https://github.com/lucaspalomodevelop/core.git
synced 2026-03-16 17:44:41 +00:00
log files: search case-insensitive
This commit is contained in:
parent
ce2d7c101c
commit
95abbd785e
@ -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)) {
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user