Folder used to store PID files
the folder used to store PID files. PID files record the system-specific
process identifiers for all processes associated with the server instance.
main.pid — The process identifiers
of the server's head process.
The process identifiers of each worker process
In some circumstances,
worker_2.pid may be
worker_1.pid is not. This is a strong
worker_1 crashed and was restarted
automatically. You can confirm this by checking the main log file.
The format of these files is a single decimal integer, the process identifier.
Path to the folder used to store PID files relative to the server instance's root folder.
Store PID files in the