K 10
svn:author
V 6
jdorje
K 8
svn:date
V 27
2003-07-18T17:11:18.000000Z
K 7
svn:log
V 103
Fix a bug introduced by PR#4345 in updating the 'occupied' flag on the
player map.

Issued as PR#4603.

END