a late bot() call was observed on GUI Windows so prevent such a crash

2018-12-08 22:08:55 -05:00
parent 01625455d9
commit afc34d3016
3 changed files with 25 additions and 6 deletions
@@ -718,6 +718,13 @@ mswin_exit_nhwindows(const char *str)
    /* Write Window settings to the registry */
    mswin_write_reg();

+    /* set things back to failsafes */
+    windowprocs = *get_safe_procs(0);
+
+    /* and make sure there is still a way to communicate something */
+    windowprocs.win_raw_print = mswin_raw_print;
+    windowprocs.win_raw_print_bold = mswin_raw_print_bold;
+    windowprocs.win_wait_synch = mswin_wait_synch;
 }

 /* Prepare the window to be suspended. */