ports and 'make fetchindex'

[jb]

Hi,

# portsnap fetch update
...
Building new INDEX files... done.
# ls -al /usr/ports/IN*
-rw-r--r--  1 root  wheel  26626683 Nov 29 15:17 /usr/ports/INDEX-9

# cd /usr/ports/
[root at localhost /usr/ports]# make fetchindex
/usr/ports/INDEX-9.bz2                        100% of 1615 kB  160 kBps 00m00s
# ls -al /usr/ports/IN*
-rw-r--r--  1 root  wheel  26665016 Nov 29 15:20 /usr/ports/INDEX-9
 
Notice that 'make fetchindex' fetches INDEX-9.bz2 and deletes it at finish.

# portmaster -L --index | egrep '(ew|ort) version|total install'
/tmp/d-57121-index/INDEX-9.bz2                100% of 1615 kB  164 kBps
...
# ls -al /usr/ports/IN*
-rw-r--r--  1 root  wheel  26665016 Nov 29 15:25 /usr/ports/INDEX-9
-rw-r--r--  1 root  wheel   1654048 Nov 11 11:45 /usr/ports/INDEX-9.bz2

Notice that 'portmaster ...' did NOT delete INDEX-9.bz2 at finish.

[root at localhost /usr/ports]# make fetchindex
[root at localhost /usr/ports]#
# ls -al /usr/ports/IN*
-rw-r--r--  1 root  wheel  26665016 Nov 29 15:29 /usr/ports/INDEX-9
#

Notice that 'make fetchindex' did NOT fetch a fresh copy of INDEX-9.bz2.
Is this a potential problem ?
I understand that "Make fetchindex will just fetch the index from a repository
server."
Could it be that 'make fetchindex' could miss the latest INDEX-9.bz2 on server
in case of a long time passed since the old INDEX-9.bz2 was downloaded ?

jb