Reverted to calling file.readlines() rather than file.read().
Authored by: bugman 2009-01-26
Parent: [r8644]
Child: [r8646]