Hi Armin, On 04.09.2015 02:29, Armin Rigo wrote: > Hi Valentine, > > On Thu, Sep 3, 2015 at 9:15 PM, Valentine Sinitsyn > <valentine.sinitsyn at gmail.com> wrote: >>> That does not make it ok to have del called several time, does it? >> >> That's a tricky question. > > If the Python documentation now says something like ``the __del__ > method is never called more than once on the same instance'' without > acknowledging this corner case, then it could be regarded as > documentation bug. I didn't check, though. But feel free to open an > issue and mention everything I said above, if you want to. I've checked the places I remembered, but didn't find any guarantees for __del__ to be called exactly once in general. Looks like it was only important to ensure safe finalization. Looks a bit inconsistent though so it's probably appropriate to file the report. Valentine
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4