diff --git a/marketplace.js b/marketplace.js
index c4a890c..7e4b734 100644
--- a/marketplace.js
+++ b/marketplace.js
@@ -312,6 +312,10 @@ World.prototype.kill = function (pid, exn) {
     } else {
 	console.log("Process exited", pid, exn);
     }
+    var p = this.processTable[pid];
+    if (p && p.behavior.trapexit) {
+	this.asChild(pid, function () { return p.behavior.trapexit(exn); });
+    }
     delete this.processTable[pid];
     this.issueRoutingUpdate();
 };