add custom hashCode

Java-Discord · Aug 23, 2024 · 9089bd0 · 9089bd0
1 parent fb23042
commit 9089bd0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main/java/net/discordjug/javabot/systems/moderation/PurgeCommand.java b/src/main/java/net/discordjug/javabot/systems/moderation/PurgeCommand.java
@@ -251,6 +251,9 @@ private void archiveMessage(PrintWriter writer, Message message) {
 	}
 
 	private record RunningPurge(long id, AtomicBoolean cancelled) {
-
+		@Override
+		public final int hashCode() {
+			return (int) id;
+		}
 	}
 }