more bot() tinkering

2023-11-17 09:47:39 -05:00
parent a46c71f4c5
commit 0a13d759a3
7 changed files with 13 additions and 4 deletions
--- a/src/end.c
+++ b/src/end.c
@@ -851,6 +851,7 @@ panic VA_DECL(const char *, str)
    if (gp.program_state.panicking++)
        NH_abort(NULL); /* avoid loops - this should never happen*/

+    gb.bot_disabled = TRUE;
    if (iflags.window_inited) {
        raw_print("\r\nOops...");
        wait_synch(); /* make sure all pending output gets flushed */