From 82d175b777b22281d7da4c7dc741ec1271c3aec8 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 5 Jun 2017 12:48:13 +0200 Subject: [PATCH] timestamp both log files --- src/PropertyT.jl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 0b3dd08..7735a26 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -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)