# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 950361089 0
# Node ID be97ea826e95a53be6c43c89daa4400639c5ea47
# Parent  2f9062a74f0ef45b2c2e81b461b606bee9127c9f
(bind_polling_period): Stop all timers except
poll_timer.

diff -r 2f9062a74f0e -r be97ea826e95 src/keyboard.c
--- a/src/keyboard.c	Sat Feb 12 13:10:19 2000 +0000
+++ b/src/keyboard.c	Sat Feb 12 13:11:29 2000 +0000
@@ -1826,6 +1826,7 @@
   if (n > new)
     new = n;
 
+  stop_other_atimers (poll_timer);
   stop_polling ();
   specbind (Qpolling_period, make_number (new));
   /* Start a new alarm with the new period.  */