From 432f97a9d47eb6ddd5b347d20b8548593cf66e8b Mon Sep 17 00:00:00 2001
From: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Date: Fri, 23 Jun 2017 14:28:10 +0200
Subject: [PATCH] main: flush after execute_pending

Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
---
 src/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cpp b/src/main.cpp
index d49c0cb..364e535 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -143,6 +143,7 @@ int main(int argc, char **argv) {
 
    while (check_events(d.get(), &c, STDIN_FILENO) != -1) {
       c.c->execute_pending();
+      d->flush();
    }
 
    d->roundtrip();
-- 
2.16.6