From 3b18ac6800062b3cfe1b6c6d03f78fc866422df6 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Thu, 13 Dec 2018 20:18:48 +0000
Subject: [PATCH] Hack: keep workers running until the relay quits; this is
 arguably the wrong approach to a real problem

---
 packages/core/src/worker.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/packages/core/src/worker.js b/packages/core/src/worker.js
index c2b2c28..ea31ef1 100644
--- a/packages/core/src/worker.js
+++ b/packages/core/src/worker.js
@@ -141,6 +141,9 @@ function spawnWorkerRelay() {
     Dataspace.spawn('WorkerRelay', function () {
       const outerFacet = Dataspace.currentFacet();
 
+      const finish = Dataspace.backgroundTask();
+      outerFacet.addStopScript(finish);
+
       let outboundEndpoints = Map();
       let inboundEndpoints = Map();
       let nextId = 0;