On Wed, Nov 30, 2011 at 8:23 AM, Éric Araujo <merwok@netwok.org> wrote:

Good point.  readlines strips the end-of-line characters though,