Robert Haas 090d0f2050 Allow discovery of whether a dynamic background worker is running. ... Using the infrastructure provided by this patch, it's possible either to wait for the startup of a dynamically-registered background worker, or to poll the status of such a worker without waiting. In either case, the current PID of the worker process can also be obtained. As usual, worker_spi is updated to demonstrate the new functionality. Patch by me. Review by Andres Freund.		2013-08-28 14:08:13 -04:00
..
Makefile	Allow background workers to be started dynamically.	2013-07-16 13:02:15 -04:00
worker_spi--1.0.sql	Allow discovery of whether a dynamic background worker is running.	2013-08-28 14:08:13 -04:00
worker_spi.c	Allow discovery of whether a dynamic background worker is running.	2013-08-28 14:08:13 -04:00
worker_spi.control	Allow background workers to be started dynamically.	2013-07-16 13:02:15 -04:00