From: Remi Gacogne <rgacogne@users.noreply.github.com>
Date: Mon, 29 Jul 2019 08:08:39 +0000 (+0200)
Subject: Merge pull request #8131 from dwfreed/dnsdist-flush-cout
X-Git-Tag: dnsdist-1.4.0-rc1~20
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b3eb306ad7085ec71e7ed22100322c8b21eb286d;p=pdns

Merge pull request #8131 from dwfreed/dnsdist-flush-cout

dnsdist-console: flush cout after printing g_outputBuffer
---

b3eb306ad7085ec71e7ed22100322c8b21eb286d