From 3c56910873c77e7fd5277fe9d6dfc12d108911a5 Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sat, 21 Sep 2019 11:35:37 +0200
Subject: [PATCH] :bomb: free Fork gwion

---
 src/lib/shred.c | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/lib/shred.c b/src/lib/shred.c
index 64409ed9..a727e08a 100644
--- a/src/lib/shred.c
+++ b/src/lib/shred.c
@@ -137,13 +137,7 @@ describe_path_and_dir(, s->info->name)
 describe_path_and_dir(_code, s->code->name)
 
 static DTOR(shred_dtor) {
-  VM *vm = ME(o)->info->vm;
   free_vm_shred(ME(o));
-  if(isa(o->type_ref, t_fork) > 0) {
-//gwion_end(vm->gwion);
-//  mp_free(shred->info->mp, Gwion, vm->gwion);
-    free_vm(vm);
-}
 }
 
 static MFUN(shred_lock) {
@@ -156,7 +150,9 @@ static MFUN(shred_unlock) {
 
 static DTOR(fork_dtor) {
   THREAD_JOIN(FORK_THREAD(o));
-//  mp_free(shred->info->mp, Gwion, ME(o)->info->vm->gwion);
+  VM *vm = ME(o)->info->vm;
+  free_vm(vm);
+  mp_free(shred->info->mp, Gwion, vm->gwion);
 }
 
 static MFUN(fork_join) {
-- 
2.43.0