commit bash-20180824 snapshot

diff --git a/CWRU/CWRU.chlog b/CWRU/CWRU.chlog
index 59f93ba93455df50952993890f0268c6dd0cc5e2..236ee9ba073e74a94183fdb7348625a1d43a9cf3 100644 (file)
--- a/CWRU/CWRU.chlog
+++ b/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

diff --git a/execute_cmd.c b/execute_cmd.c
index 68b9300631660cb5dfa71116c524c2666d77947a..c5972c8d093258bf3ab19661fd6ecb59027c01ea 100644 (file)
--- a/execute_cmd.c
+++ b/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;