[mutter] wayland/keyboard: Avoid a division by zero

[Rui Matos <rtcm src gnome org>]

commit 36ee6f656ae541a6948d3a044b86da2806fc672f
Author: Rui Matos <tiagomatos gmail com>
Date:   Mon Jan 9 19:58:23 2017 +0100

    wayland/keyboard: Avoid a division by zero
    
    We don't further sanitize the values since the protocol allows for
    everything as long as it's non-negative.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=776919

 src/wayland/meta-wayland-keyboard.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/src/wayland/meta-wayland-keyboard.c b/src/wayland/meta-wayland-keyboard.c
index 4998cea..f8042dc 100644
--- a/src/wayland/meta-wayland-keyboard.c
+++ b/src/wayland/meta-wayland-keyboard.c
@@ -514,7 +514,11 @@ notify_key_repeat_for_resource (MetaWaylandKeyboard *keyboard,
           interval = g_settings_get_uint (keyboard->settings, "repeat-interval");
           /* Our setting is in the milliseconds between keys. "rate" is the number
            * of keys per second. */
-          rate = (1000 / interval);
+          if (interval > 0)
+            rate = (1000 / interval);
+          else
+            rate = 0;
+
           delay = g_settings_get_uint (keyboard->settings, "delay");
         }
       else