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 001f2d8..75e7b25 100644
--- a/src/time.c
+++ b/src/time.c
@@ -501,8 +501,9 @@
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 e2b5023..44d849e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -751,6 +751,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 4035,
+/**/
4034,
/**/
4033,