mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-31 09:44:59 +00:00
feat: Record processing time of get_ranked_tags_map_uncached on cache miss
This commit is contained in:
parent
78fb4ae238
commit
27c79d662b
1 changed files with 4 additions and 0 deletions
|
@ -422,9 +422,13 @@ class RepoMap:
|
||||||
return self.map_cache[cache_key]
|
return self.map_cache[cache_key]
|
||||||
|
|
||||||
# If not in cache, generate the map
|
# If not in cache, generate the map
|
||||||
|
import time
|
||||||
|
start_time = time.time()
|
||||||
result = self.get_ranked_tags_map_uncached(
|
result = self.get_ranked_tags_map_uncached(
|
||||||
chat_fnames, other_fnames, max_map_tokens, mentioned_fnames, mentioned_idents
|
chat_fnames, other_fnames, max_map_tokens, mentioned_fnames, mentioned_idents
|
||||||
)
|
)
|
||||||
|
end_time = time.time()
|
||||||
|
self.map_processing_time = end_time - start_time
|
||||||
|
|
||||||
# Store the result in the cache
|
# Store the result in the cache
|
||||||
self.map_cache[cache_key] = result
|
self.map_cache[cache_key] = result
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue