mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-19 01:00:36 +02:00
short circut for directory creation
This commit is contained in:
parent
8a3e0ae62a
commit
d9e6f5991e
@ -144,6 +144,7 @@ end
|
|||||||
Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N)
|
Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N)
|
||||||
|
|
||||||
function setup_logging(name::String)
|
function setup_logging(name::String)
|
||||||
|
isdir(name) || mkdir(name)
|
||||||
|
|
||||||
Memento.add_handler(logger,
|
Memento.add_handler(logger,
|
||||||
Memento.DefaultHandler(joinpath(name,"full_$(string((now()))).log"),
|
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)
|
function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
|
||||||
|
|
||||||
if !isdir(name)
|
isdir(name) || mkdir(name)
|
||||||
mkdir(name)
|
|
||||||
end
|
|
||||||
|
|
||||||
setup_logging(name)
|
|
||||||
|
|
||||||
if all(isfile.(pmΔfilenames(name)))
|
if all(isfile.(pmΔfilenames(name)))
|
||||||
# cached
|
# cached
|
||||||
|
Loading…
Reference in New Issue
Block a user