Remove endpoint from map when destroyed
This commit is contained in:
parent
76678f7b27
commit
46535e5ab8
|
@ -632,6 +632,7 @@ Endpoint.prototype.destroy = function (ds, ac, facet, emitPatches) {
|
||||||
// ^ TODO: this won't work because of object identity problems! Why
|
// ^ TODO: this won't work because of object identity problems! Why
|
||||||
// does the Racket implementation do this, when the old JS
|
// does the Racket implementation do this, when the old JS
|
||||||
// implementation doesn't?
|
// implementation doesn't?
|
||||||
|
facet.endpoints = facet.endpoints.remove(this.id);
|
||||||
this._uninstall(ds, ac, emitPatches);
|
this._uninstall(ds, ac, emitPatches);
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue