From 5fee1c396715dc06866f09463f44bdf65afa707c Mon Sep 17 00:00:00 2001
From: qweqweasdasd <qweqweasdasd@infn.it>
Date: Fri, 14 Oct 2022 18:50:33 +0200
Subject: [PATCH] Fixed port type
---
files/script.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/files/script.py b/files/script.py
index 737c9fb..9d7322f 100644
--- a/files/script.py
+++ b/files/script.py
@@ -392,9 +392,9 @@ def import_dep_info(file_path, endpoints_to_scan):
else:
host = url
if prefix == "https":
- port = 443
+ port = '443'
elif prefix == 'http':
- port = 80
+ port = '80'
else:
raise Exception(f"Impossible to parse the endpoint port. Endpoint: {endpoint}")
print(f"Endpoint: {host}:{port}")
--
GitLab