diff options
Diffstat (limited to 'main/bash/fix-jobs.patch')
| -rw-r--r-- | main/bash/fix-jobs.patch | 29 |
1 files changed, 21 insertions, 8 deletions
diff --git a/main/bash/fix-jobs.patch b/main/bash/fix-jobs.patch index c01db4e19f0..ddb9d4659a5 100644 --- a/main/bash/fix-jobs.patch +++ b/main/bash/fix-jobs.patch @@ -1,13 +1,26 @@ diff --git a/jobs.c b/jobs.c -index fc96603..d203db2 100644 +index cef3c79..bf99266 100644 --- a/jobs.c +++ b/jobs.c -@@ -765,7 +765,7 @@ bgp_resize () - else - nsize = bgpids.nalloc; +@@ -4166,10 +4166,8 @@ initialize_job_control (force) + if (js.c_childmax < 0) + js.c_childmax = DEFAULT_CHILD_MAX; -- while (nsize < js.c_childmax) -+ while (nsize < (ps_index_t)js.c_childmax) - nsize *= 2; +-#if 0 + if (js.c_childmax > MAX_CHILD_MAX) + js.c_childmax = MAX_CHILD_MAX; +-#endif - if (bgpids.nalloc < js.c_childmax) + return job_control; + } +@@ -4547,10 +4545,8 @@ mark_dead_jobs_as_notified (force) + if (js.c_childmax < 0) + js.c_childmax = DEFAULT_CHILD_MAX; + +-#if 0 + if (js.c_childmax > MAX_CHILD_MAX) + js.c_childmax = MAX_CHILD_MAX; +-#endif + + /* Don't do anything if the number of dead processes is less than CHILD_MAX + and we're not forcing a cleanup. */ |