From fb0801fa5632f6a683320baa53d1f395efc0b231 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Fri, 1 Nov 2019 20:28:11 +0100
Subject: [PATCH] terminal: delayed rendering: fdm_delayed_render() may be
 called with is_armged==false

This would happen if *both* timers triggered in the same epoll() call.
---
 terminal.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/terminal.c b/terminal.c
index 29487bdf..7e7d3b53 100644
--- a/terminal.c
+++ b/terminal.c
@@ -172,7 +172,8 @@ fdm_delayed_render(struct fdm *fdm, int fd, int events, void *data)
         return false;
 
     struct terminal *term = data;
-    assert(term->delayed_render_timer.is_armed);
+    if (!term->delayed_render_timer.is_armed)
+        return true;
 
     uint64_t unused;
     ssize_t ret1 = 0;