patch 8.2.4035: timer triggered at the debug prompt may cause trouble

Problem:    Timer triggered at the debug prompt may cause trouble.
Solution:   Do not trigger any timer at the debug prompt. (closes #9481)

diff --git a/src/time.c b/src/time.c
index 001f2d812161c40f59e922fb47aa6e219081f616..75e7b2546f141b07610304008bb914802db81a50 100644 (file)
--- a/src/time.c
+++ b/src/time.c
@@ -501,8 +501,9 @@ check_due_timer(void)
     int                need_update_screen = FALSE;
     long       current_id = last_timer_id;
 
-    // Don't run any timers while exiting or dealing with an error.
-    if (exiting || aborting())
+    // Don't run any timers while exiting, dealing with an error or at the
+    // debug prompt.
+    if (exiting || aborting() || debug_mode)
        return next_due;
 
     profile_start(&now);

diff --git a/src/version.c b/src/version.c
index e2b5023e35cbd4a9c7102a08cad9fde2c3b2d3c6..44d849ef5b94e3040dc0463dc7b05cbeb073c778 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4035,
 /**/
     4034,
 /**/