Robert Haas 523beaa11b Provide a reliable mechanism for terminating a background worker. ... Although previously-introduced APIs allow the process that registers a background worker to obtain the worker's PID, there's no way to prevent a worker that is not currently running from being restarted. This patch introduces a new API TerminateBackgroundWorker() that prevents the background worker from being restarted, terminates it if it is currently running, and causes it to be unregistered if or when it is not running. Patch by me. Review by Michael Paquier and KaiGai Kohei.		2013-10-18 10:23:11 -04:00
..
src	Provide a reliable mechanism for terminating a background worker.	2013-10-18 10:23:11 -04:00
bug.template	Stamp HEAD as 9.4devel.	2013-06-14 14:41:28 -04:00
KNOWN_BUGS
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES
TODO