From 59cea54757f8d1707eaf5416f0818e2a3de4707b Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 15 Mar 2017 20:15:53 +0100
Subject: [PATCH] flush log prior removal of handler/STDOUT redirection

---
 src/sdps.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sdps.jl b/src/sdps.jl
index 4f7814f..7a9cded 100644
--- a/src/sdps.jl
+++ b/src/sdps.jl
@@ -77,6 +77,7 @@ function solve_SDP(SDP_problem, solver)
     TT = STDOUT
     redirect_stdout(solver_logger.handlers["solver"].io)
     solution_status = JuMP.solve(SDP_problem);
+    flush(solver_logger.handlers["solver"].io)
     remove_handler(solver_logger, "solver")
     redirect_stdout(TT)