From c945c583757f242060783d4359ed9d837e8ed6a6 Mon Sep 17 00:00:00 2001
From: Joe Bryan <joemfb@gmail.com>
Date: Wed, 18 Dec 2019 02:00:38 -0800
Subject: [PATCH] worker: free jet dashboard on exit

---
 pkg/urbit/worker/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkg/urbit/worker/main.c b/pkg/urbit/worker/main.c
index fbf9f2b32..f79c87b27 100644
--- a/pkg/urbit/worker/main.c
+++ b/pkg/urbit/worker/main.c
@@ -850,6 +850,10 @@ _worker_poke_exit(c3_w cod_w)                 //  exit code
     }
   }
 
+  //  XX move to jets.c
+  //
+  c3_free(u3D.ray_u);
+
   exit(cod_w);
 }