# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 796625519 0
# Node ID 5ba84aee3999232cc95724685448dac1da2ee5d9
# Parent  0e9fad3ccf038cb55fa13c842ff7d6146a35dd7c
(event_to_kboard): Ignore dead frames.
(kbd_buffer_get_event): In batch mode, use current_kboard.

diff -r 0e9fad3ccf03 -r 5ba84aee3999 src/keyboard.c
--- a/src/keyboard.c	Fri Mar 31 03:57:05 1995 +0000
+++ b/src/keyboard.c	Fri Mar 31 04:51:59 1995 +0000
@@ -2170,8 +2170,9 @@
     frame = WINDOW_FRAME (XWINDOW (frame));
 
   /* There are still some events that don't set this field.
-     For now, just ignore the problem.  */
-  if (!FRAMEP (frame))
+     For now, just ignore the problem.
+     Also ignore dead frames here.  */
+  if (!FRAMEP (frame) || !FRAME_LIVE_P (XFRAME (frame)))
     return 0;
   else
     return FRAME_KBOARD (XFRAME (frame));
@@ -2308,7 +2309,7 @@
     {
       c = getchar ();
       XSETINT (obj, c);
-      *kbp = all_kboards;  /* There'd better be exactly one!  */
+      *kbp = current_kboard;
       return obj;
     }