Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> Revised patch attached. I think it would be useful to assert this
> both at process startup time and at process shutdown, since it would
> really be much nicer to have the process that didn't clean up fail the
> assertion, rather than the new one that innocently inherited its slot;
> so the attached patch takes that approach.
+1
regards, tom lane