diff options
Diffstat (limited to 'storage/bdb/db_printlog/fileid.awk')
| -rw-r--r-- | storage/bdb/db_printlog/fileid.awk | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/storage/bdb/db_printlog/fileid.awk b/storage/bdb/db_printlog/fileid.awk new file mode 100644 index 00000000000..020644039ab --- /dev/null +++ b/storage/bdb/db_printlog/fileid.awk @@ -0,0 +1,37 @@ +# $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); +} |