Martijn van Oosterhout wrote:
>On Mon, Oct 24, 2005 at 08:20:07AM -0400, Bruce Momjian wrote:
>
>
>>This has been saved for the 8.2 release:
>>
>> http://momjian.postgresql.org/cgi-bin/pgpatches_hold
>>
>>
>
>Is this official "blessing" for the idea that psql should ignore SIGINT
>while the pager is running? Or does this mean the idea will be
>revisited again later?
>
>
>
>
AFAIK it's Bruce's way of not losing track of the patch, so more a case
of "revisit later" than "officially blessed".
By all means submit a revised patch if you improve on it in the meantime.
cheers
andrew