how to fetch again a port from port distribution (ftp site)?

[RW]

On Tue, 2 Jan 2007 06:28:22 +0100
VeeJay <maanjee at gmail.com> wrote:

> Hi
> 
> I was trying to install mysql from port collection. But during
> downloading port from port distribution, my internet connection got
> broken for few minuts...
> 
> now when I run make again... it tries to compile uncomplete
> downloaded src
> 
> how can I get rid of this pre-fetched src, remove it and
> 
> how to fetch again a port from port distribution (ftp site) when src
> is already downloaded once?


Firstly, the ports system should try to restart an existing download,
I do this all the time. Secondly, even if a partial file cannot be
completed, the port should not carry on building because the distfile
will fail its MD5/SHA256 checksums.

Either there is a bug here, or you have done something odd. Do you have
NO_CHECKSUM set?