| … | … | @@ -175,6 +175,15 @@ void AtomSpace::install(void) |
| 175 | 175 | Handle llc(get_handle()); |
| 176 | 176 | for (const AtomSpacePtr& has : _environ) |
| 177 | 177 | has->insert_atom(llc); |
| 178 | |
| 179 | // Avoid a minor(?) amount of confusion by blanking the _atom_space |
| 180 | // pointer. A non-null pointer was required, so that the above exec |
| 181 | // could happen. But now that it has happened, we do not want to track |
| 182 | // this any longer. Our parents are being held in the _environ vector |
| 183 | // and not by this pointer.So kill it before someone else notices |
| 184 | // that it is not null, and decides to use it for some nefarious |
| 185 | // underhanded covert operation. Someone like Abbe Dala Pikola... |
| 186 | _atom_space = nullptr; |
| 178 | 187 | } |
| 179 | 188 | |
| 180 | 189 | void AtomSpace::remove(void) |