]> Nishi Git Mirror - gwion.git/commitdiff
:bomb: free Fork gwion
authorfennecdjay <astor.jeremie@wanadoo.fr>
Sat, 21 Sep 2019 09:35:37 +0000 (11:35 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Sat, 21 Sep 2019 09:35:37 +0000 (11:35 +0200)
src/lib/shred.c

index 64409ed95f0c90f4eaa656c9032de509fc27f933..a727e08a8f1a9bc6fb7611b00229747f7f0101fa 100644 (file)
@@ -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) {