From 3cc9313cc6acfbfe499c5f89597c8fc7449a5ede Mon Sep 17 00:00:00 2001
From: NiLuJe <ninuje@gmail.com>
Date: Sat, 21 Apr 2018 13:34:07 +0200
Subject: [PATCH] Update OTA mirrors (#3901)

Drop outdated mirror
Relocate mine, and give them actually accurate name given their location
---
 frontend/ui/otamanager.lua | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/frontend/ui/otamanager.lua b/frontend/ui/otamanager.lua
index 082aa8ee9..ca489024c 100644
--- a/frontend/ui/otamanager.lua
+++ b/frontend/ui/otamanager.lua
@@ -16,11 +16,10 @@ local OTAManager = {
     ota_servers = {
         "http://ota.koreader.rocks:80/",
         "http://vislab.bjmu.edu.cn:80/apps/koreader/ota/",
-        "http://koreader-eu.ak-team.com:80/",
-        "http://koreader-af.ak-team.com:80/",
+        "http://koreader-fr.ak-team.com:80/",
+        "http://koreader-pl.ak-team.com:80/",
         "http://koreader-na.ak-team.com:80/",
         "http://koreader.ak-team.com:80/",
-        "http://hal9k.ifsc.usp.br:80/koreader/",
     },
     ota_channels = {
         "stable",