#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.
R
R David Murray committed
e7f5e147cdc32e7660586ce29ca97ccfe14c97f5
Parent: 9aa1331