Don't delete sourceinfo as it may lead to a crash upon 'quit'.

Needs further investigation.
2024-04-30 16:21:26 +02:00 · 2024-04-30 16:21:26 +02:00 · c51dc8ed7e
parent c506a128cb
commit c51dc8ed7e
1 changed files with 1 additions and 1 deletions
--- a/src/frontend/misccoms.c
+++ b/src/frontend/misccoms.c
@ -105,7 +105,7 @@ com_quit(wordlist *wl)
    pl_rempar();

    while (ft_curckt) {
-        wl_delete(ft_curckt->ci_sourceinfo);
+//        wl_delete(ft_curckt->ci_sourceinfo);
        com_remcirc(NULL);
    }
 #endif