1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 02:30:29 +01:00

flush log prior removal of handler/STDOUT redirection

This commit is contained in:
kalmar 2017-03-15 20:15:53 +01:00
parent a16e14efe8
commit 59cea54757

View File

@ -77,6 +77,7 @@ function solve_SDP(SDP_problem, solver)
TT = STDOUT TT = STDOUT
redirect_stdout(solver_logger.handlers["solver"].io) redirect_stdout(solver_logger.handlers["solver"].io)
solution_status = JuMP.solve(SDP_problem); solution_status = JuMP.solve(SDP_problem);
flush(solver_logger.handlers["solver"].io)
remove_handler(solver_logger, "solver") remove_handler(solver_logger, "solver")
redirect_stdout(TT) redirect_stdout(TT)