commit bash-20200406 snapshot

2026-08-11 12:40:42 +02:00 · 2020-04-08 17:09:56 -04:00
parent e34adc2c3b
commit ea31c00845
11 changed files with 266 additions and 101 deletions
@@ -1205,6 +1205,8 @@ run_interrupt_trap (will_throw)
 {
  if (will_throw && running_trap > 0)
    run_trap_cleanup (running_trap - 1);
+  pending_traps[SIGINT] = 0;	/* run_pending_traps does this */
+  catch_flag = 0;
  _run_trap_internal (SIGINT, "interrupt trap");
 }