home
/
code
/
khatus.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
cf7cff1
)
Report GCed src and key more-clearly
author
Siraaj Khandkar
<siraaj@khandkar.net>
Mon, 20 Aug 2018 22:29:55 +0000
(18:29 -0400)
committer
Siraaj Khandkar
<siraaj@khandkar.net>
Mon, 20 Aug 2018 22:29:55 +0000
(18:29 -0400)
bin/khatus_bar
patch
|
blob
|
blame
|
history
diff --git
a/bin/khatus_bar
b/bin/khatus_bar
index
bd31283
..
9b0fd7f
100755
(executable)
--- a/
bin/khatus_bar
+++ b/
bin/khatus_bar
@@
-96,14
+96,18
@@
function cache_get_time( src, key, time) {
return time
}
return time
}
-function cache_gc( src_and_key, unused_for) {
+function cache_gc( src_and_key,
parts, src, key,
unused_for) {
for (src_and_key in _cache) {
for (src_and_key in _cache) {
- unused_for = cache_get_time() - _cache_atime[src_and_key]
+ split(src_and_key, parts, SUBSEP)
+ src = parts[1]
+ key = parts[2]
+ unused_for = cache_get_time() - _cache_atime[src, key]
if (unused_for > 3600) {
print_msg_info(\
if (unused_for > 3600) {
print_msg_info(\
- "cache_gc", "Deleting unused src_and_key: " src_and_key \
+ "cache_gc",
+ sprintf("Deleting unused SRC=%s KEY=%s", src, key) \
)
)
- delete _cache[src
_and_
key]
+ delete _cache[src
,
key]
}
}
}
}
}
}
This page took
0.022433 seconds
and
4
git commands to generate.