From ee66509dd8c210e33203deb64dc97f002115b05f Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 3 Jan 2025 02:43:40 +0100
Subject: [PATCH] Remove now-obsolete Counter

---
 brood/src/util.rs | 36 +-----------------------------------
 1 file changed, 1 insertion(+), 35 deletions(-)

diff --git a/brood/src/util.rs b/brood/src/util.rs
index bf42980..cc6ee42 100644
--- a/brood/src/util.rs
+++ b/brood/src/util.rs
@@ -1,46 +1,12 @@
-use std::{collections::HashSet, fmt, time::Instant};
+use std::{collections::HashSet, fmt};
 
 use regex::Regex;
-use thousands::Separable;
 
 use crate::{
     data::{Data, Page},
     graph::NodeIdx,
 };
 
-pub struct Counter {
-    n: usize,
-    last_print: Instant,
-}
-
-impl Counter {
-    pub fn new() -> Self {
-        Self {
-            n: 0,
-            last_print: Instant::now(),
-        }
-    }
-
-    pub fn tick(&mut self) {
-        self.n += 1;
-        if self.n % 10_000 != 0 {
-            return;
-        }
-
-        let now = Instant::now();
-        if now.duration_since(self.last_print).as_secs() < 4 {
-            return;
-        }
-
-        println!("{:>12}", self.n.separate_with_underscores());
-        self.last_print = now;
-    }
-
-    pub fn done(&self) {
-        println!("{:>12} (done)", self.n.separate_with_underscores());
-    }
-}
-
 // https://github.com/wikimedia/mediawiki-title/blob/6880ae1a9ffdfa2eea9fd75b472493a67dabcc48/lib/mediawiki.Title.phpCharToUpper.js
 struct PhpCharToUpper(char);