mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
38 lines
650 B
Awk
38 lines
650 B
Awk
|
# $Id: fileid.awk,v 10.4 2000/07/17 22:07:17 ubell Exp $
|
||
|
|
#
|
||
|
|
# Take a comma-separated list of file numbers and spit out all the
|
||
|
|
# log records that affect those file numbers.
|
||
|
|
|
||
|
|
NR == 1 {
|
||
|
|
nfiles = 0
|
||
|
|
while ((ndx = index(FILEID, ",")) != 0) {
|
||
|
|
files[nfiles] = substr(FILEID, 1, ndx - 1);
|
||
|
|
FILEID = substr(FILEID, ndx + 1, length(FILEID) - ndx);
|
||
|
|
nfiles++
|
||
|
|
}
|
||
|
|
files[nfiles] = FILEID;
|
||
|
|
}
|
||
|
|
|
||
|
|
/^\[/{
|
||
|
|
if (printme == 1) {
|
||
|
|
printf("%s\n", rec);
|
||
|
|
printme = 0
|
||
|
|
}
|
||
|
|
rec = "";
|
||
|
|
|
||
|
|
rec = $0
|
||
|
|
}
|
||
|
|
/^ /{
|
||
|
|
rec = sprintf("%s\n%s", rec, $0);
|
||
|
|
}
|
||
|
|
/fileid/{
|
||
|
|
for (i = 0; i <= nfiles; i++)
|
||
|
|
if ($2 == files[i])
|
||
|
|
printme = 1
|
||
|
|
}
|
||
|
|
|
||
|
|
END {
|
||
|
|
if (printme == 1)
|
||
|
|
printf("%s\n", rec);
|
||
|
|
}
|