From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sun, 23 Jun 2019 13:48:13 +0000 (+0200)
Subject: :art: Poolize VM_Shred->name
X-Git-Tag: nightly~2392
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=192bc700159440ee3c0d917f589e86d4c174a5cb;p=gwion.git

:art: Poolize VM_Shred->name
---

diff --git a/src/vm/vm_shred.c b/src/vm/vm_shred.c
index 02e4fc76..c755ab8a 100644
--- a/src/vm/vm_shred.c
+++ b/src/vm/vm_shred.c
@@ -17,12 +17,12 @@ struct Stack_ {
 static inline struct ShredInfo_ *new_shredinfo(MemPool p, const m_str name) {
   struct ShredInfo_ *info = mp_calloc(p, ShredInfo);
   info->mp = p;
-  info->name = strdup(name);
+  info->name = mstrdup(p, name);
   return info;
 }
 
 static inline void free_shredinfo(MemPool mp, struct ShredInfo_ *info) {
-  free(info->name);
+  free_mstr(mp, info->name);
   if(info->args) {
     const Vector v = info->args;
     LOOP_OPTIM