- Fixed: Fork: pid could be undefined.

[infobot.git] / src / CommandStubs.pl

diff --git a/src/CommandStubs.pl b/src/CommandStubs.pl
index 520e326b743cd2da836b0b1c9c181a83ddc637e2..92eb15c116902d32c086a837e802a1cfe57ae024 100644 (file)
--- a/src/CommandStubs.pl
+++ b/src/CommandStubs.pl
@@ -811,6 +811,8 @@ sub do_verstats {
            push(@vernicktodo, $_);
        }
 
+       &DEBUG("verstats(30): we have ".scalar(@vernicktodo)." nicks to do");
+
        &verstats_flush();
     } );