From b492fa4b15bb881a9a44fe422746efbc610389f2 Mon Sep 17 00:00:00 2001
From: tatusaalasti <53379907+tatusaalasti@users.noreply.github.com>
Date: Fri, 1 May 2020 17:24:59 +0300
Subject: [PATCH] Fetch keys over port 80 by default

Receiving the keys over the default port 11371 doesn't work for most users behind a firewall.
https://unix.stackexchange.com/questions/399027/gpg-keyserver-receive-failed-server-indicated-a-failure
---
 katoolin.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/katoolin.py b/katoolin.py
index 102c17a..a4c1094 100644
--- a/katoolin.py
+++ b/katoolin.py
@@ -50,7 +50,7 @@ def inicio1():
 					''')
 					repo = raw_input("\033[1;32mWhat do you want to do ?> \033[1;m")
 					if repo == "1":
-						cmd1 = os.system("apt-key adv --keyserver pool.sks-keyservers.net --recv-keys ED444FF07D8D0BF6")
+						cmd1 = os.system("apt-key adv --keyserver pool.sks-keyservers.net:80 --recv-keys ED444FF07D8D0BF6")
 						cmd2 = os.system("echo '# Kali linux repositories | Added by Katoolin\ndeb http://http.kali.org/kali kali-rolling main contrib non-free' >> /etc/apt/sources.list")
 					elif repo == "2":
 						cmd3 = os.system("apt-get update -m")