From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sat, 21 Sep 2019 09:35:37 +0000 (+0200)
Subject: :bomb: free Fork gwion
X-Git-Tag: nightly~2215^2~5
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=3c56910873c77e7fd5277fe9d6dfc12d108911a5;p=gwion.git

:bomb: free Fork gwion
---

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) {