Mark GC messages as INFO rather than ERROR
authorSiraaj Khandkar <siraaj@khandkar.net>
Fri, 17 Aug 2018 03:39:09 +0000 (23:39 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Fri, 17 Aug 2018 03:39:09 +0000 (23:39 -0400)
bin/khatus_bar

index 6af6e35..e6fd1ff 100755 (executable)
@@ -100,7 +100,7 @@ function cache_gc(    src_and_key, unused_for) {
     for (src_and_key in _cache) {
         unused_for = cache_get_time() - _cache_atime[src_and_key]
         if (unused_for > 3600) {
-            print_msg_error(\
+            print_msg_info(\
                 "cache_gc", "Deleting unused src_and_key: " src_and_key \
             )
             delete _cache[src_and_key]
@@ -323,6 +323,10 @@ function print_msg_ok(key, val) {
     print_msg("OK", key, val, "/dev/stdout")
 }
 
+function print_msg_info(location, msg) {
+    print_msg("INFO", location, msg, "/dev/stderr")
+}
+
 function print_msg_error(location, msg) {
     print_msg("ERROR", location, msg, "/dev/stderr")
 }
This page took 0.036695 seconds and 4 git commands to generate.