From d9e6f5991ee27e77e2813f9eb940e0dbdda9ec43 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 5 Jun 2017 17:29:05 +0200 Subject: [PATCH] short circut for directory creation --- src/PropertyT.jl | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 1f63b95..e5b8fd3 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -144,6 +144,7 @@ end Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N) function setup_logging(name::String) + isdir(name) || mkdir(name) Memento.add_handler(logger, Memento.DefaultHandler(joinpath(name,"full_$(string((now()))).log"), @@ -158,11 +159,7 @@ end function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius) - if !isdir(name) - mkdir(name) - end - - setup_logging(name) + isdir(name) || mkdir(name) if all(isfile.(pmΔfilenames(name))) # cached