eof = end of line... and it's just some sort of a label when used there.

__________________
http://feudal-times.net - My PBB Game
http://gwphp.feudal-times.net - My Blog "Gaming With PHP"