Remove BUG() when checking TOO_MANY_OUTDATED_DIRSERVERS.

Fixes bug #40234; bugfix on 0.3.2.5-alpha.

diff --git a/src/feature/nodelist/microdesc.c b/src/feature/nodelist/microdesc.c
index dafaabb5e588be589e31e81cd0101de5d471274b..90eb938f6d718897cdbc62edfd926a1c59d155b0 100644 (file)
--- a/src/feature/nodelist/microdesc.c
+++ b/src/feature/nodelist/microdesc.c
@@ -124,8 +124,9 @@ microdesc_note_outdated_dirserver(const char *relay_digest)
   tor_assert(outdated_dirserver_list);
 
   /* If the list grows too big, clean it up */
-  if (BUG(smartlist_len(outdated_dirserver_list) >
-          TOO_MANY_OUTDATED_DIRSERVERS)) {
+  if (smartlist_len(outdated_dirserver_list) > TOO_MANY_OUTDATED_DIRSERVERS) {
+    log_info(LD_GENERAL,"Too many outdated directory servers (%d). Resetting.",
+             smartlist_len(outdated_dirserver_list));
     microdesc_reset_outdated_dirservers_list();
   }