main: flush after execute_pending
authorMarcus Fritzsch <marcus_fritzsch@mentor.com>
Fri, 23 Jun 2017 12:28:10 +0000 (14:28 +0200)
committerMarcus Fritzsch <marcus_fritzsch@mentor.com>
Tue, 8 Aug 2017 15:24:00 +0000 (17:24 +0200)
commit432f97a9d47eb6ddd5b347d20b8548593cf66e8b
tree7400f1866fd1445d6a675edfd654efb18f6774f6
parentd9911e35635ded433ed1e56bb88dbba2726aac1b
main: flush after execute_pending

Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
src/main.cpp