Flush digidoc-tool output

IB-9016

Signed-off-by: Raul Metsma <raul@metsma.ee>

Author: metsma

src/digidoc-tool.cpp

@@ -1113,7 +1113,10 @@ int main(int argc, char *argv[]) try
 #endif
     info << ")";
     digidoc::initialize("digidoc-tool", info.str());
-    atexit(&digidoc::terminate);
+    atexit([] {
+        digidoc::terminate();
+        cout.flush();
+    });
 
     if(argc < 2)
     {