From 7bec6fe40e9da4c6d33853684713d0c827e35f72 Mon Sep 17 00:00:00 2001
From: "Zed A. Shaw" <zed.shaw@gmail.com>
Date: Sat, 4 May 2024 10:28:59 -0400
Subject: [PATCH] Don't need stats.py anymore.

---
 PPP3/stats.py | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 PPP3/stats.py

diff --git a/PPP3/stats.py b/PPP3/stats.py
deleted file mode 100644
index 5d4fa5f..0000000
--- a/PPP3/stats.py
+++ /dev/null
@@ -1,21 +0,0 @@
-import sys
-import re
-import json
-from datetime import datetime
-
-err_re = re.compile("(?P<file>.*?):(?P<line>[0-9]+):(?P<col>[0-9]+): (?P<type>.*?): (?P<message>.*)\n")
-
-stats = [];
-
-for line in sys.stdin:
-    found = err_re.fullmatch(line)
-    print(line, end="")
-
-    if found:
-        stats.append(found.groupdict())
-        print("FOUND", found.groupdict())
-
-with open("stats.json", "a+") as out:
-    out.write(json.dumps({"date": datetime.now().isoformat(),
-               "messages": stats}));
-    out.write("\n")