diff options
Diffstat (limited to 'bdb/db_printlog/range.awk')
| -rw-r--r-- | bdb/db_printlog/range.awk | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/bdb/db_printlog/range.awk b/bdb/db_printlog/range.awk new file mode 100644 index 00000000000..7abb410b40f --- /dev/null +++ b/bdb/db_printlog/range.awk @@ -0,0 +1,27 @@ +# $Id: range.awk,v 10.2 1999/11/21 18:01:42 bostic Exp $ +# +# Print out a range of the log + +/^\[/{ + l = length($1) - 1; + i = index($1, "]"); + file = substr($1, 2, i - 2); + file += 0; + start = i + 2; + offset = substr($1, start, l - start + 1); + i = index(offset, "]"); + offset = substr($1, start, i - 1); + offset += 0; + + if ((file == START_FILE && offset >= START_OFFSET || file > START_FILE)\ + && (file < END_FILE || (file == END_FILE && offset < END_OFFSET))) + printme = 1 + else if (file == END_FILE && offset > END_OFFSET || file > END_FILE) + exit + else + printme = 0 +} +{ + if (printme == 1) + print $0 +} |