(bind_polling_period): Stop all timers except

poll_timer.

diff --git a/src/keyboard.c b/src/keyboard.c
index 3691f1b997e25614aa8078a3fb88673c05906de4..0b1454547295719d325ccb575323f41367687bb2 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1826,6 +1826,7 @@ bind_polling_period (n)
   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.  */