Re: [PATCH 4/4] pager: do wait_for_pager on signal death
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 11, 2009, 21:13 UTC
- Message-ID
- <7vzlhxr1g8.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <20090111113649.GD29791@coredump.intra.peff.net>
Thanks; I agree with you that I do not see a good reason _not_ to be handling those other signals at some of the "just handle SIGINT" sites, and I like the direction in whcih this series is taking us very much.