diff options
author | 2017-06-23 14:28:10 +0200 | |
---|---|---|
committer | 2017-08-08 17:24:00 +0200 | |
commit | 432f97a9d47eb6ddd5b347d20b8548593cf66e8b (patch) | |
tree | 7400f1866fd1445d6a675edfd654efb18f6774f6 | |
parent | d9911e35635ded433ed1e56bb88dbba2726aac1b (diff) |
main: flush after execute_pending
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
-rw-r--r-- | src/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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(); |