Repair Dataspace.retract() cleanup of handleMap (!)
This commit is contained in:
parent
e2e72467cd
commit
3904c626c9
|
@ -106,6 +106,7 @@ export class Dataspace implements Partial<Entity> {
|
||||||
retract(handle: Handle): void {
|
retract(handle: Handle): void {
|
||||||
const v = this.handleMap.get(handle);
|
const v = this.handleMap.get(handle);
|
||||||
if (v === void 0) return;
|
if (v === void 0) return;
|
||||||
|
this.handleMap.delete(handle);
|
||||||
const is_last = this.index.removeAssertion(v, Turn.active);
|
const is_last = this.index.removeAssertion(v, Turn.active);
|
||||||
this.options.tracer?.('-', v, this, is_last);
|
this.options.tracer?.('-', v, this, is_last);
|
||||||
if (is_last) {
|
if (is_last) {
|
||||||
|
|
Loading…
Reference in New Issue