From 36ee6f656ae541a6948d3a044b86da2806fc672f Mon Sep 17 00:00:00 2001 From: Rui Matos Date: Mon, 9 Jan 2017 19:58:23 +0100 Subject: [PATCH] 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 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/wayland/meta-wayland-keyboard.c b/src/wayland/meta-wayland-keyboard.c index 4998cea4d..f8042dc65 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