comparison admin/FOR-RELEASE @ 72220:059876b57133

(wait_reading_process_output_unwind): New function. Restores waiting_for_user_input_p to saved value. (wait_reading_process_output): Unwind protect waiting_for_user_input_p instead of save/restore old value on stack.
author Kim F. Storm <storm@cua.dk>
date Tue, 01 Aug 2006 00:13:08 +0000
parents f6cd6558bd8e
children a2c9b7f64744 02e39decdc84
comparison
equal deleted inserted replaced
72219:efb471b59acc 72220:059876b57133