Change gpg server in case of failure

2023-01-05 22:02:39 +01:00
parent dc84fe03d2
commit 878bd96aa0
1 changed files with 2 additions and 1 deletions
--- 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',