commit bash-20180824 snapshot

CWRU/CWRU.chlog

@@ -4237,3 +4237,11 @@ execute_cmd.c
 	  causing jobs to be removed from the jobs table. Fixes savannah issue
 	  https://savannah.gnu.org/support/index.php?109541 reported by
 	  Bj枚rn Kautler <vampire0>
+
+				   8/24
+				   ----
+execute_cmd.c
+	- lastpipe_cleanup: call set_jobs_list_frozen instead of
+	  unfreeze_jobs_list
+	- execute_pipeline: set up lastpipe_cleanup with old value of
+	  jobs_list_frozen

execute_cmd.c

@@ -2438,7 +2438,7 @@ static void
 lastpipe_cleanup (s)
      int s;
 {
-  unfreeze_jobs_list ();
+  set_jobs_list_frozen (s);
 }
 
 static int
@@ -2565,7 +2565,7 @@ execute_pipeline (command, asynchronous, pipe_in, pipe_out, fds_to_close)
 	  lastpipe_flag = 1;
 	  old_frozen = freeze_jobs_list ();
 	  lastpipe_jid = stop_pipeline (0, (COMMAND *)NULL);	/* XXX */
-	  add_unwind_protect (lastpipe_cleanup, lastpipe_jid);
+	  add_unwind_protect (lastpipe_cleanup, old_frozen);
 	}
       if (cmd)
 	cmd->flags |= CMD_LASTPIPE;