changeset 63548:3a486bf74d99

(read_char): Call restore_getcjmp after jump occurs.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 2005 14:06:22 +0000
parents cbb687cf8169
children bda22724fc82
files src/keyboard.c
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;