diff options
author | Robert Haas | 2013-08-28 18:08:13 +0000 |
---|---|---|
committer | Robert Haas | 2013-08-28 18:08:13 +0000 |
commit | 090d0f2050647958865cb495dff74af7257d2bb4 (patch) | |
tree | bcebc38e72a0c90d8cf3c94d00b026e48887075e /src/tutorial | |
parent | c9e2e2db5c2090a880028fd8c1debff474640f50 (diff) |
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.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions