From 4d8cb63829b664d436301f3f5ef7f00d19df028d Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Mon, 25 Mar 2024 11:43:46 -0500 Subject: [PATCH] geo-ip: site is down, fix db from github --- extra/geo-ip/geo-ip.factor | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/extra/geo-ip/geo-ip.factor b/extra/geo-ip/geo-ip.factor index 20e000f7d9..e0252348c9 100644 --- a/extra/geo-ip/geo-ip.factor +++ b/extra/geo-ip/geo-ip.factor @@ -8,13 +8,9 @@ IN: geo-ip : db-path ( -- path ) "IpToCountry.csv" cache-file ; -CONSTANT: db-url "https://software77.net/geo-ip/?DL=1" +CONSTANT: db-url "https://raw.githubusercontent.com/webeng/Ip2Country/master/IpToCountry.csv" -: download-db ( -- path ) - db-path dup file-exists? [ - db-url over ".gz" append download-once-to - { "gunzip" } over ".gz" append absolute-path suffix try-process - ] unless ; +: download-db ( -- path ) db-url download-once ; TUPLE: ip-entry from to registry assigned city cntry country ; -- 2.34.1