]> Nishi Git Mirror - gwion.git/commitdiff
:bug: Fix signal
authorJérémie Astor <fennecdjay@gmail.com>
Sat, 23 Apr 2022 13:17:27 +0000 (15:17 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Sat, 23 Apr 2022 13:17:27 +0000 (15:17 +0200)
src/main.c

index 1811e9dcdf891adad55ee0406804c4babca8c0ce..61eda482e2265abcc5e548d7a5d1942c59df6ff6 100644 (file)
@@ -48,6 +48,7 @@ int main(int argc, char **argv) {
   arg_release(&arg);
   if (ini > 0) gwion_run(&gwion);
   gwion_end(&gwion);
+  gwion.vm = NULL;
 #ifndef BUILD_ON_WINDOWS
   pthread_exit(NULL);
 #endif