commit fc4b66b332af1ffb7bfafa6d939fd7f59fbe1008
author Luca Weiss <luca.weiss@fairphone.com> Wed Jan 19 10:00:51 2022 +0100
committer Luca Weiss <luca.weiss@fairphone.com> Wed Jan 19 10:00:58 2022 +0100
tree fa708ded7623547219f1121ad7306a6a34741b6d
parent c285b96574f866c8c6e55476689fb98c7c98716b

Configure XTRA servers in gps.conf

As of Android 10 this seems to be the place again for these values.

Issue: FP2A10-184
Change-Id: I544479529d4f8a80cf737c35caacc612a3e68e1d

gps/gps.conf

diff --git a/gps/gps.conf b/gps/gps.conf
index 93855b8..fd32929 100644
--- a/gps/gps.conf
+++ b/gps/gps.conf
@@ -1,3 +1,7 @@
+XTRA_SERVER_1=https://xtrapath1.izatcloud.net/xtra3grc.bin
+XTRA_SERVER_2=https://xtrapath2.izatcloud.net/xtra3grc.bin
+XTRA_SERVER_3=https://xtrapath3.izatcloud.net/xtra3grc.bin
+
 #Version check for XTRA
 #DISABLE = 0
 #AUTO    = 1