Fix for the DummyFileObject.readlines() method.
The last line is empty because of the split() call, and should not be returned.
Authored by: bugman 2008-06-28
Parent: [r6518]
Child: [r6520]