From 7ef1a5aaaa32c71445ede7bb15aa935cfc1ca782 Mon Sep 17 00:00:00 2001
From: Reinout van Rees <reinout@vanrees.org>
Date: Thu, 11 Jan 2024 11:29:35 +0100
Subject: [PATCH] Added a bit of extra debug logging

---
 serverscripts/geoserver.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/serverscripts/geoserver.py b/serverscripts/geoserver.py
index 88a2b12..03187a2 100644
--- a/serverscripts/geoserver.py
+++ b/serverscripts/geoserver.py
@@ -126,6 +126,7 @@ def extract_from_logfiles(logfile):
 
     logfiles = glob.glob(logfile + "*")
     for logfile in logfiles:
+        logger.debug("Reading logfile %s", logfile)
         if logfile.endswith(".gz"):
             f = gzip.open(logfile, "rt")
         else: