(wait_reading_process_input_1): New (empty) function.
authorRichard M. Stallman <rms@gnu.org>
Wed, 27 Mar 1996 02:35:15 +0000 (02:35 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 27 Mar 1996 02:35:15 +0000 (02:35 +0000)
commitc573ae8ec0116fe87f15e77e7f84ba39aaafee8c
tree8c151fe840c6fc8241abe29a668dbf09918c30bd
parente622cacad2ecdeeb03f82508c29810613f9209f2
(wait_reading_process_input_1): New (empty) function.
(wait_reading_process_input): Call wait_reading_process_input_1.
If timer_check runs some timers, retry it.
src/process.c