On Tue, Feb 25, 2014 at 4:26 PM, alex23 <wuwe...@gmail.com> wrote: > On 25/02/2014 12:34 PM, Chris Angelico wrote: >> >> On Tue, Feb 25, 2014 at 1:24 PM, Alex Martelli <al...@google.com> wrote: >>> >>> At this point, all entries in the table should be deleted; query should >>> return an empty list! >> >> >> You can't actually depend on del resulting in __del__ being called. > > > Mind those attributions, Chris, it was actually Sangeeth Saravanaraj who > wrote what you quoted. I'm preeeeetty sure Alex knows all about __del__ :)
Whoops, yes. I deleted a header by mistake. Sorry Alex! And thanks Alex for pulling me up on it. (We have a few of those situations. Fortunately we have Steven and Stephen, otherwise we'd have a lot more of it.) ChrisA -- https://mail.python.org/mailman/listinfo/python-list
