Partial file on ftp.eu.openbsd.org/pub/OpenBSD/4.7/ports.tar.gz

Hi Helpdesk for ftp.eu.openbsd.org

I am the mirror admin of mirror.switch.ch. We sync OpenBSD from your server.

Now a user reported a problem with the file /pub/OpenBSD/4.7/ports.tar.gz

When checking your server, it is only a partial file. On 
ftp.openbsd.org/pub/OpenBSD/4.7/ it is newer and bigger.

$ ftp ftp.eu.openbsd.org
ftp>  cd pub/OpenBSD/4.7
ftp>  ls -la
-rw-r--r--    1 0  0     163840 May 11 13:51 ports.tar.gz

$ ftp ftp.openbsd.org
ftp>  cd pub/OpenBSD/4.7/
ftp>  ls -la
-rw-r--r--   1 0  0   18002486 Mar 19 09:25 ports.tar.gz

Could you please get that fixed so that our mirror is complete again?

Many thanks and best regards,
Thomas

-- 
SWITCH
Serving Swiss Universities
--------------------------
Thomas Lenggenhager
P.O. Box, 8021 Zurich, Switzerland
http://mirror.switch.ch