# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1119017182 0
# Node ID 3a486bf74d99c028cd05204720067465ee13c6ee
# Parent  cbb687cf8169356f170551295dc171dd62b3456b
(read_char): Call restore_getcjmp after jump occurs.

diff -r cbb687cf8169 -r 3a486bf74d99 src/keyboard.c
--- a/src/keyboard.c	Fri Jun 17 14:03:08 2005 +0000
+++ b/src/keyboard.c	Fri Jun 17 14:06:22 2005 +0000
@@ -2616,6 +2616,9 @@
 
   if (_setjmp (local_getcjmp))
     {
+      /* We must have saved the outer value of getcjmp here,
+	 so restore it now.  */
+      restore_getcjmp (save_jump);
       XSETINT (c, quit_char);
       internal_last_event_frame = selected_frame;
       Vlast_event_frame = internal_last_event_frame;