HiI wanted to download a newer version of BaseX, but wasn't able to do so because the host is unreachable:
$ wget http://files.basex.org/releases/9.0.2/BaseX902.zip [...] Name or service not known
And my old versions of BaseX (zip-edition of 8.67 and 9.0) doesn't want to start anymore:
$ ./basexguijava.util.concurrent.ExecutionException: java.io.IOException: Unknown host 'files.basex.org'.[...]
Is some of your servers down? Best regards, Kristian K