From d0daaee39d5321193a0d6bbcbbba06d023a6de2c Mon Sep 17 00:00:00 2001
From: DamonHD <d@hd.org>
Date: Mon, 27 May 2024 21:39:03 +0100
Subject: [PATCH] Extra validity check in FeedStatus().

---
 javasrc/org/hd/d/statsHouse/feedHits/data/FeedStatus.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/javasrc/org/hd/d/statsHouse/feedHits/data/FeedStatus.java b/javasrc/org/hd/d/statsHouse/feedHits/data/FeedStatus.java
index 3c0f728..4c4fdba 100644
--- a/javasrc/org/hd/d/statsHouse/feedHits/data/FeedStatus.java
+++ b/javasrc/org/hd/d/statsHouse/feedHits/data/FeedStatus.java
@@ -53,6 +53,7 @@ public record FeedStatus(int hits, int bytes, String colTypes, List<Integer> col
 		Objects.nonNull(colTypes);
 		Objects.nonNull(cols);
 		Objects.nonNull(index);
+		if(cols.size() != colTypes.split(":").length) { throw new IllegalArgumentException("colTypes element count must match cols"); }
 	    }
 
 	/**Charset for feed status data (ASCII 7-bit). */