On 04/07/2016 11:20 AM, Mojca Miklavec wrote:
The distribution is currently in mirror mode only, serving files from Netherlands.
Unfortunately rebooting didn't help as the system disk seems to have crashed and the admin at Jožef Stefan Institute promised to set up a new box during the weekend (hoping that no other major hardware components failed). I could theoretically set up the whole process on the Dutch server, but I would prefer to wait until this server gets up and running again as I'll be wasting quite some time making sure that things come back to normal.
Thanks for the heads up, Mojca! Don't bother syncing the Dutch server; this is not urgent, I just wanted to make sure that you're aware of the situation. Which you are. Good luck with the repair this weekend! Thomas