From be0928c8ef148dbed399dcb42f92262a25302fbd Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Sun, 15 Oct 2023 08:10:49 -0700 Subject: [PATCH] use new base global for stale_age --- src/API.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/API.jl b/src/API.jl index e7a8a6def3..5267d470f9 100644 --- a/src/API.jl +++ b/src/API.jl @@ -1656,7 +1656,7 @@ function color_string(cstr::String, col::Union{Int64, Symbol}) end function maybe_cachefile_lock(f, io::IO, print_lock::ReentrantLock, fancyprint::Bool, pkg::Base.PkgId, pkgspidlocked::Dict{Base.PkgId,String}) - stale_age = 10 # match stale_age in loading.jl + stale_age = Base.compilecache_pidlock_stale_age pidfile = Base.compilecache_pidfile_path(pkg) cachefile = FileWatching.trymkpidlock(f, pidfile; stale_age) if cachefile === false