diff etc/copying.paper @ 101649:bd66da73ef9f

(wait_reading_process_output): Use process_pending_signals.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 29 Jan 2009 14:34:38 +0000
parents e96ffe544684
children
line wrap: on
line diff