blob: 99aa38f2b9c63449fb61d09c67bb15a59b012865 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
# @(#)pgno.awk 10.1 (Sleepycat) 11/1/98
#
# Take a comma-separated list of page numbers and spit out all the
# log records that affect those page numbers.
{
if (NR == 1) {
npages = 0
while ((ndx = index(PGNO, ",")) != 0) {
pgno[npages] = substr(PGNO, 1, ndx - 1);
PGNO = substr(PGNO, ndx + 1, length(PGNO) - ndx);
npages++
}
pgno[npages] = PGNO;
}
}
/^\[/{
if (printme == 1) {
printf("%s\n", rec);
printme = 0
}
rec = "";
rec = $0
}
/^ /{
rec = sprintf("%s\n%s", rec, $0);
}
/pgno/{
for (i = 0; i <= npages; i++)
if ($2 == pgno[i])
printme = 1
}
/right/{
for (i = 0; i <= npages; i++)
if ($2 == pgno[i])
printme = 1
}
/left/{
for (i = 0; i <= npages; i++)
if ($2 == pgno[i])
printme = 1
}
|
