| commit | e7f5e147cdc32e7660586ce29ca97ccfe14c97f5 | [log] [tgz] |
|---|---|---|
| author | R David Murray <rdmurray@bitdance.com> | Mon Mar 30 10:14:47 2015 -0400 |
| committer | R David Murray <rdmurray@bitdance.com> | Mon Mar 30 10:14:47 2015 -0400 |
| tree | 93fe9bf9cbacc3746aadcf9505f45683e8957063 | |
| parent | 9aa1331c6f73b0868f736a40445cc3bcd33c5345 [diff] |
#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.