I think the "when that object is explicitly destroyed" part should be removed altogether. Objects are destroyed if there are no more references, not when there are no more references AND you explicitly destroy them.
Nikita On Mon, Sep 19, 2011 at 12:50 PM, Hannes Magnusson <hannes.magnus...@gmail.com> wrote: > On Sat, Sep 17, 2011 at 00:23, Rob Allen <r...@akrabat.com> wrote: >> Hi, >> >> Please find attached a patch for http://uk3.php.net/__destruct to hopefully >> make it a little clearer. >> >> I tried to use edit.php.net, but it told me that this file had been modified >> by "Anonymous #2095", so I couldn't save it there. >> > > Thanks, comitted. > > Regarding the error in the OE.. there seem to be some "race > conditions" when more then one person have opened/modified files > there.. :] > I believe yannick is aware of the issue. > > -Hannes >