commit bash-20200306 snapshot

bashline.c

@@ -4657,6 +4657,15 @@ bash_dequote_text (text)
 static int
 bash_event_hook ()
 {
+  /* XXX - see if we need to do anything here if sigterm_received == 1,
+     we probably don't want to reset the event hook since we will not be
+     jumping to the top level */
+  if (sigterm_received)
+    {
+      /* RESET_SIGTERM;	*/
+      return 0;
+    }
+
   /* If we're going to longjmp to top_level, make sure we clean up readline.
      check_signals will call QUIT, which will eventually longjmp to top_level,
      calling run_interrupt_trap along the way.  The check for sigalrm_seen is