I took a look at what was happening with the update scripts in the Brazilian web mirror, it should be fixed by now.
I'm currently doing a manual run of the websync script, everything should get back to normal in the next scheduled run. Regards. Eduardo
