From 81268e39ec055f5c6b6e13e51f42857befe9c149 Mon Sep 17 00:00:00 2001
From: "gioacchino.vino" <gioacchino.vino@infn.it>
Date: Fri, 29 Sep 2023 11:46:50 +0200
Subject: [PATCH] Enhanced report summary
---
files/script.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/files/script.py b/files/script.py
index 0e3c421..09a1dba 100644
--- a/files/script.py
+++ b/files/script.py
@@ -501,9 +501,9 @@ for host,ports in endpoints.items():
else:
reports[host] = f"ERROR Task: {task['id']}"
- #delete_task(task)
- #delete_target(target)
- #delete_port_list(port_list)
+ delete_task(task)
+ delete_target(target)
+ delete_port_list(port_list)
reports = process_global_reports_info(reports)
with open(summary_filename, "w") as f:
--
GitLab