From 5723586a728063044793d0010505d25c313d36ec Mon Sep 17 00:00:00 2001 From: Jeroen van der Heijden Date: Fri, 25 Sep 2020 14:46:40 +0200 Subject: [PATCH] division by zero --- src/siri/db/listener.c | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/siri/db/listener.c b/src/siri/db/listener.c index 2a03fd5d..9dc65e30 100644 --- a/src/siri/db/listener.c +++ b/src/siri/db/listener.c @@ -2885,8 +2885,9 @@ static void exit_drop_series(uv_async_t * handle) } else { - double percent = (double) - q_drop->vec->len / siridb->series_map->len; + double percent = siridb->series_map->len + ? (double) q_drop->vec->len / siridb->series_map->len + : 0.0; if (IS_MASTER && q_drop->vec->len && @@ -3053,8 +3054,10 @@ static void exit_drop_shards(uv_async_t * handle) q_drop->shards_list->len -= dropped; } - double percent = (double) - q_drop->shards_list->len / siridb_shards_n(siridb); + size_t n = siridb_shards_n(siridb); + double percent = n + ? (double) q_drop->shards_list->len / n + : 0.0; if (IS_MASTER && q_drop->shards_list->len && -- 2.30.2