util/db_printlog/range.awk

   1 # $Id$
   2 #
   3 # Print out a range of the log
   4
   5 /^\[/{
   6         l = length($1) - 1;
   7         i = index($1, "]");
   8         file = substr($1, 2, i - 2);
   9         file += 0;
  10         start = i + 2;
  11         offset = substr($1, start, l - start + 1);
  12         i = index(offset, "]");
  13         offset = substr($1, start, i - 1);
  14         offset += 0;
  15
  16         if ((file == START_FILE && offset >= START_OFFSET || file > START_FILE)\
  17             && (file < END_FILE || (file == END_FILE && offset < END_OFFSET)))
  18                 printme = 1
  19         else if (file == END_FILE && offset > END_OFFSET || file > END_FILE)
  20                 exit
  21         else
  22                 printme = 0
  23 }
  24 {
  25         if (printme == 1)
  26                 print $0
  27 }