]> Nishi Git Mirror - gwion.git/commitdiff
:shirt: Ensure free_plug even if no mem cleaning
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 4 Oct 2019 10:54:34 +0000 (12:54 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 4 Oct 2019 10:54:34 +0000 (12:54 +0200)
src/main.c

index 30169172073b2e95633c3d8f275fd16e6a2ceff4..6331d3e518390578452fbeb63661a9d1914bbcaa 100644 (file)
@@ -27,6 +27,8 @@ int main(int argc, char** argv) {
     gwion_run(&gwion);
 #ifndef NDEBUG
   gwion_end(&gwion);
+#else
+  free_plug(&gwion);
 #endif
   THREAD_RETURN(EXIT_SUCCESS);
 }