From 4239c1ea33e73324c40924aaa46fb403b9ae6191 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 22 Jul 2014 10:24:11 -0700 Subject: [PATCH] Simply erase *all* entries mapping to the driver's PID --- websocket-driver.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/websocket-driver.js b/websocket-driver.js index 1b20db7..40f7ef3 100644 --- a/websocket-driver.js +++ b/websocket-driver.js @@ -114,9 +114,11 @@ WebSocketConnection.prototype.handleEvent = function (e) { switch (e.type) { case "routes": // TODO: GROSS - erasing by pid! - var g = e.gestalt.erasePath(this.aggregateGestalt().label(World.activePid())); + var nLevels = e.gestalt.levelCount(0); + var relayGestalt = route.fullGestalt(1, nLevels).label(World.activePid()); + var g = e.gestalt.erasePath(relayGestalt); this.localGestalt = route.emptyGestalt; - for (var level = 0; level < e.gestalt.levelCount(0); level++) { + for (var level = 0; level < nLevels; level++) { this.collectMatchers(false, level, g); this.collectMatchers(true, level, g); }