From 878bd96aa024b67e9a89bfd569d6c6c3fbff2350 Mon Sep 17 00:00:00 2001
From: VirtuBox <thomas@virtubox.net>
Date: Thu, 5 Jan 2023 22:02:39 +0100
Subject: [PATCH] Change gpg server in case of failure

---
 wo/core/aptget.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wo/core/aptget.py b/wo/core/aptget.py
index 28f583d..2866bea 100644
--- a/wo/core/aptget.py
+++ b/wo/core/aptget.py
@@ -46,7 +46,8 @@ class WOAptGet():
                         if "NO_PUBKEY" in single_error:
                             key = single_error.rsplit(None, 1)[-1]
                             WORepo.add_key(
-                                self, key, keyserver="hkp://pgp.mit.edu")
+                                self, key,
+                                keyserver="hkp://keyserver.ubuntu.com")
 
                     proc = subprocess.Popen(
                         'DEBIAN_FRONTEND=noninteractive apt-get update -qq',