# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 799983125 0
# Node ID fc2a3a312e980609baa7d4be8f75a18eb2db8a23
# Parent  329197fc1477ea7970c494f5d0b060afb20b77e1
[MULTI_KBOARD] (read_char): If the character was for
the wrong kboard, don't let it get processed twice.

diff -r 329197fc1477 -r fc2a3a312e98 src/keyboard.c
--- a/src/keyboard.c	Tue May 09 00:49:04 1995 +0000
+++ b/src/keyboard.c	Tue May 09 01:32:05 1995 +0000
@@ -1948,6 +1948,7 @@
 	    abort ();
 	  *tailp = Fcons (c, Qnil);
 	  kb->kbd_queue_has_data = 1;
+	  c = Qnil;
 	  if (single_kboard)
 	    goto wrong_kboard;
 	  current_kboard = kb;