mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 06:10:28 +01:00
timestamp both log files
This commit is contained in:
parent
58c0283a77
commit
82d175b777
@ -95,7 +95,10 @@ function λandP(name::String, SDP_problem::JuMP.Model, varλ, varP)
|
||||
rm(joinpath(name, "solver.log"))
|
||||
end
|
||||
|
||||
add_handler(solver_logger, DefaultHandler(joinpath(name, "solver.log"), DefaultFormatter("{date}| {msg}")), "solver_log")
|
||||
add_handler(solver_logger,
|
||||
DefaultHandler(joinpath(name, "solver_$(string(now())).log"),
|
||||
DefaultFormatter("{date}| {msg}")),
|
||||
"solver_log")
|
||||
|
||||
λ, P = compute_λandP(SDP_problem, varλ, varP)
|
||||
|
||||
@ -132,7 +135,10 @@ Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N)
|
||||
|
||||
function setup_logging(name::String)
|
||||
|
||||
Memento.add_handler(logger, Memento.DefaultHandler(joinpath(name,"full.log"), Memento.DefaultFormatter("{date}| {msg}")), "full_log")
|
||||
Memento.add_handler(logger,
|
||||
Memento.DefaultHandler(joinpath(name,"full_$(string((now()))).log"),
|
||||
Memento.DefaultFormatter("{date}| {msg}")),
|
||||
"full_log")
|
||||
|
||||
e = redirect_stderr(logger.handlers["full_log"].io)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user