From 31ee867964a693e14d31ac1cc612aa5ff9849520 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 7 Aug 2016 21:44:38 -0400 Subject: [PATCH] Cosmetic --- js/src/dataspace.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/src/dataspace.js b/js/src/dataspace.js index e4f552b..a3ad803 100644 --- a/js/src/dataspace.js +++ b/js/src/dataspace.js @@ -137,14 +137,14 @@ Dataspace.prototype.debugName = function (pid) { Dataspace.prototype.asChild = function (pid, f, omitLivenessCheck) { var self = this; - var p = this.processTable.get(pid, null); + var p = self.processTable.get(pid, null); if (!omitLivenessCheck && (p === null)) { - console.warn("Dataspace.asChild eliding invocation of dead process", this.debugName(pid)); + console.warn("Dataspace.asChild eliding invocation of dead process", self.debugName(pid)); return; } var result = Dataspace.withDataspaceStack( - Dataspace.stack.push({ dataspace: this, activePid: pid }), + Dataspace.stack.push({ dataspace: self, activePid: pid }), function () { try { return f(p);