David Soria Parra wrote: > Here is the updated patch. self.pager still isn't necessary, because the filehandle will be flushed and closed upon deletion. Adding a __del__ method doesn't buy you anything. <b