From a0502a2716815ffe1a884ca576ab3e1323f4b0dc Mon Sep 17 00:00:00 2001
From: Gioacchino Vino <gioacchino.vino@infn.it>
Date: Thu, 2 May 2024 10:33:56 +0200
Subject: [PATCH] Remove oid duplicates in report

---
 files/scan.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/files/scan.py b/files/scan.py
index 77a0f50..c3c39a1 100644
--- a/files/scan.py
+++ b/files/scan.py
@@ -150,9 +150,9 @@ with open(summary_filename, "w") as f:
 with open(oids_filename, "w") as f:
     if len(accepted_oids) > 0:
         f.write("ACCEPTED OIDs\n")
-        f.writelines([msg + "\n" for msg in accepted_oids])
+        f.writelines([msg + "\n" for msg in set(accepted_oids)])
         f.write("\n")
     
     if len(new_oids) > 0:
         f.write("NEW OIDs\n")
-        f.writelines([msg + "\n" for msg in new_oids])
+        f.writelines([msg + "\n" for msg in set(new_oids)])
-- 
GitLab