From 0b0c13e4f6f4315626d724c588ed333dfe03e432 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 5 Jun 2017 12:15:09 +0200 Subject: [PATCH] use setup_logger --- src/PropertyT.jl | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index eb3221f..d8615fb 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -147,11 +147,7 @@ function check_property_T(name::String, generating_set::Function, mkdir(name) end - 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") + setup_logging(name) Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)