mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-24 18:10:29 +01:00
redirect stderr to full.log
This commit is contained in:
parent
7796b0b028
commit
a3779fb50a
@ -117,7 +117,8 @@ function check_property_T(name::String, ID, generate_B₄::Function,
|
||||
mkdir(name)
|
||||
end
|
||||
|
||||
add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}| {msg}")), "full")
|
||||
add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}| {msg}")), "full_log")
|
||||
e = redirect_stderr(logger.handlers["full_log"].io)
|
||||
info(logger, "Group: $name")
|
||||
info(logger, "Precision: $tol")
|
||||
info(logger, "Upper bound: $upper_bound")
|
||||
|
@ -83,7 +83,6 @@ function solve_SDP(SDP_problem, solver)
|
||||
ccall((:printf, "libc"), Int, (Ptr{UInt8},), "\n");
|
||||
|
||||
o = redirect_stdout(solver_logger.handlers["solver_log"].io)
|
||||
# e = redirect_stderr(solver_logger.handlers["solver_log"].io)
|
||||
|
||||
t = @timed solution_status = JuMP.solve(SDP_problem)
|
||||
info(logger, timed_msg(t))
|
||||
|
Loading…
Reference in New Issue
Block a user