On Wed, Jan 13, 2016 at 7:19 PM, Amit Kapila <amit.kapila16@gmail.com> wrote: >> > > Changed the code such that nworkers_launched gets used wherever > appropriate instead of nworkers. This includes places other than > pointed out above.
The changes of the patch are simple optimizations that are trivial. I didn't find any problem regarding the changes. I think the same optimization is required in "ExecParallelFinish" function also.
There is already one change as below for ExecParallelFinish() in patch.