On Sun, Jul 7, 2013 at 12:49 AM, Robins Tharakan <tharakan@gmail.com> wrote:
Thanks Fabrizio.
Although parallel_schedule was a miss for this specific patch, however, I guess I seem to have missed out serial_schedule completely (in all patches) and then thanks for pointing this out. Subsequently Robert too noticed the miss at the serial_schedule end.
Please find attached a patch, updated towards serial_schedule / parallel_schedule as well as the role name change as per Robert's feedback on CREATE OPERATOR thread.