[patch] Do not break while asking with -batch

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Tom> I think it would be reasonable to disable pagination if --batch or if
Tom> !input_from_terminal_p.  Actually, I thought we already did this for
Tom> batch...

>From NEWS:

*** Changes in GDB 7.2
[...]
* The --batch flag now disables pagination and queries.

Apparently I missed the pagination part... oops.

Jan> 2010-07-23  Jan Kratochvil  <jan.kratochvil@redhat.com>
Jan> 	* top.c (input_from_terminal_p): Return 0 on BATCH_FLAG.
Jan> 	* utils.c (defaulted_query): Do not explicitly check for BATCH_FLAG.
Jan> 	(fputs_maybe_filtered): Do not do filtering also on
Jan> 	! INPUT_FROM_TERMINAL_P.

Ok.

I think this should go in 7.2, as well, given the above NEWS entry.

Tom