From 9e518412b305737162352f1f06245da77a534817 Mon Sep 17 00:00:00 2001
From: grossmj <grossmj@gns3.net>
Date: Tue, 4 Jun 2019 15:03:28 +0200
Subject: [PATCH] Set keyserver port to 80 in remote install script. Fixes
 #1596

---
 scripts/remote-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/remote-install.sh b/scripts/remote-install.sh
index 00580d4a..39598dd8 100644
--- a/scripts/remote-install.sh
+++ b/scripts/remote-install.sh
@@ -146,7 +146,7 @@ deb-src http://archive.ubuntu.com/ubuntu/ ${UBUNTU_CODENAME}-updates main univer
 EOFLIST2
 fi
 
-apt-key adv --keyserver keyserver.ubuntu.com --recv-keys A2E3EF7B
+apt-key adv --keyserver keyserver.ubuntu.com:80 --recv-keys A2E3EF7B
 
 log "Update system packages"
 apt-get update