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.
.pid— 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