From 07d227eb8a9d368bbcb07906c660abee907276f8 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 15 Mar 2017 20:34:35 +0100
Subject: [PATCH] overwrite solver log instead of appending

---
 src/PropertyT.jl | 5 +++--
 src/sdps.jl      | 3 +++
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 113a67b..2a6811c 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -6,7 +6,6 @@ import SCS.SCSSolver
 using Memento
 
 const logger = basic_config("info")
-const solver_logger = basic_config("info")
 
 include("sdps.jl")
 include("checksolution.jl")
@@ -80,6 +79,9 @@ end
 
 function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::AbstractMathProgSolver; upper_bound=Inf)
     info(logger, "Creating SDP problem...")
+    if isfile("$name/solver.log")
+        rm("$name/solver.log")
+    end
     t = @timed SDP_problem = create_SDP_problem(sdp_constraints, Δ; upper_bound=upper_bound)
     info(logger, timed_msg(t))
 
@@ -103,7 +105,6 @@ function check_property_T(name::String, ID, generate_B₄::Function;
     end
 
     add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}|{msg}")), "full")
-    add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver")
     info(logger, "Group: $name")
     info(logger, "Precision: $tol")
 
diff --git a/src/sdps.jl b/src/sdps.jl
index 7a9cded..8396483 100644
--- a/src/sdps.jl
+++ b/src/sdps.jl
@@ -74,6 +74,9 @@ function solve_SDP(SDP_problem, solver)
     JuMP.setsolver(SDP_problem, solver);
     # @time MathProgBase.writeproblem(SDP_problem, "/tmp/SDP_problem")
 
+    solver_logger = basic_config("info")
+    add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver")
+
     TT = STDOUT
     redirect_stdout(solver_logger.handlers["solver"].io)
     solution_status = JuMP.solve(SDP_problem);