worker_spi: Rename custom wait event to "WorkerSpiMain"

Michael Paquier <michael@paquier.xyz>

Commit: c8e318b1b8d9b699a96b96db861b362550456108
Author: Michael Paquier <michael@paquier.xyz>
Date: 2023-10-04T07:20:41Z
Releases: 17.0
worker_spi: Rename custom wait event to "WorkerSpiMain"

This naming is more consistent with all the other user-facing wait event
strings.  Other in-core modules will use the same naming convention, so
let's be consistent here as well.

Extracted from a larger patch by the same author.

Author: Masahiro Ikeda
Discussion: https://postgr.es/m/197bce267fa691a0ac62c86c4ab904c4@oss.nttdata.com

Files

Documentation touched

Discussion