diff options
| author | Robert Haas | 2014-05-07 21:43:39 +0000 |
|---|---|---|
| committer | Robert Haas | 2014-05-07 21:44:42 +0000 |
| commit | be7558162acc5578d0b2cf0c8d4c76b6076ce352 (patch) | |
| tree | c5e0719f9466a216eb748661baaac7cf122752aa /src/interfaces | |
| parent | 7572b7735971cd7a5ef289e133eedf7d82f79c42 (diff) | |
When a background worker exists with code 0, unregister it.
The previous behavior was to restart immediately, which was generally
viewed as less useful.
Petr Jelinek, with some adjustments by me.
Diffstat (limited to 'src/interfaces')
0 files changed, 0 insertions, 0 deletions