From ef6316760848bbe04f0fe2da7e24ed0b28b589cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20C=2E=20B=C3=BCrgel?=
 <SCBuergel@users.noreply.github.com>
Date: Sat, 29 Oct 2016 15:06:30 +0200
Subject: [PATCH] updated keyserver

As pointed out in the issue https://github.com/docker/docker/issues/24493#issuecomment-231752995 the keyserver seems to have changed. Otherwise the installer breaks.
---
 engine/installation/linux/ubuntulinux.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/installation/linux/ubuntulinux.md b/engine/installation/linux/ubuntulinux.md
index b188aa13cd..339e315eab 100644
--- a/engine/installation/linux/ubuntulinux.md
+++ b/engine/installation/linux/ubuntulinux.md
@@ -65,7 +65,7 @@ packages from the Docker repository:
 4.  Add the new `GPG` key.
 
     ```bash
-    $ sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
+    $ sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
     ```
 
 5.  Find the entry for your Ubuntu operating system.