mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-31 01:35:00 +00:00
fix: Increase cache warming delay to 5 minutes minus 10 seconds
This commit is contained in:
parent
9d593c5fa2
commit
27e854708a
2 changed files with 2 additions and 1 deletions
|
@ -992,7 +992,7 @@ class Coder:
|
|||
if not self.num_cache_warming_pings:
|
||||
return
|
||||
|
||||
delay = 20
|
||||
delay = 5 * 60 - 10
|
||||
self.next_cache_warm = time.time() + delay
|
||||
self.warming_pings_left = self.num_cache_warming_pings
|
||||
self.cache_warming_chunks = chunks
|
||||
|
|
|
@ -543,6 +543,7 @@ def main(argv=None, input=None, output=None, force_git_root=None, return_coder=F
|
|||
map_refresh=args.map_refresh,
|
||||
cache_prompts=args.cache_prompts,
|
||||
map_mul_no_files=args.map_multiplier_no_files,
|
||||
num_cache_warming_pings=args.cache_warming_pings,
|
||||
)
|
||||
except ValueError as err:
|
||||
io.tool_error(str(err))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue