1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-10-15 08:05:35 +02:00

re-redirect stderr

This commit is contained in:
kalmar 2017-03-16 10:05:35 +01:00
parent f96240a23b
commit 2bca1a7938

View File

@ -85,6 +85,7 @@ function solve_SDP(SDP_problem, solver)
remove_handler(solver_logger, "solver")
redirect_stdout(out)
redirect_stderr(err)
if solution_status != :Optimal
warn(logger, "The solver did not solve the problem successfully!")