]> granicus.if.org Git - python/commit
#23792: also catch interrupt around pipe.write.
authorR David Murray <rdmurray@bitdance.com>
Mon, 30 Mar 2015 14:14:47 +0000 (10:14 -0400)
committerR David Murray <rdmurray@bitdance.com>
Mon, 30 Mar 2015 14:14:47 +0000 (10:14 -0400)
commite7f5e147cdc32e7660586ce29ca97ccfe14c97f5
tree93fe9bf9cbacc3746aadcf9505f45683e8957063
parent9aa1331c6f73b0868f736a40445cc3bcd33c5345
#23792: also catch interrupt around pipe.write.

The previous patch only dealt with KeyboardInterrupt when all of the
data had been consumed by the pager.  This deals with the interrupt
when some data is still pending.
Lib/pydoc.py