73 |
} |
} |
74 |
|
|
75 |
my $pager = ($OPT{pager}) ? \&pager : \&less; |
my $pager = ($OPT{pager}) ? \&pager : \&less; |
76 |
|
$pager = \&less; # force pager usage |
77 |
my $OUT = $term->OUT; |
my $OUT = $term->OUT; |
78 |
|
|
79 |
my $st = 1; |
my $st = 1; |
193 |
q Exit from $0 |
q Exit from $0 |
194 |
l redisplay last ranking |
l redisplay last ranking |
195 |
Other input is tried as wais query. |
Other input is tried as wais query. |
196 |
The following fields are known: $idb |
The following fields for table '$OPT{table}' are known: $idb |
197 |
] ; |
] ; |
198 |
} |
} |
199 |
|
|