From 57cb457b5ded356bab617693908624d2c62652f2 Mon Sep 17 00:00:00 2001
From: grossmj <grossmj@gns3.net>
Date: Tue, 28 Aug 2018 17:27:08 +0700
Subject: [PATCH] Use port 80 for key server.

---
 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 1ea888ca..259512e5 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 hkp://keyserver.ubuntu.com:80 --recv-keys A2E3EF7B
 
 log "Update system packages"
 apt-get update