Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

pid-root

Folder used to store PID files

Syntax

--pid-root path

Description

--pid-root path specifies the folder used to store PID files. PID files record the system-specific process identifiers for all processes associated with the server instance. This includes:

  • main.pid — The process identifiers of the server's head process.

  • worker_N.pid — The process identifiers of each worker process N.

In some circumstances, worker_2.pid may be present when worker_1.pid is not. This is a strong indication that 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.

Parameters

path

Path to the folder used to store PID files relative to the server instance's root folder.

Examples

Store PID files in the pid folder.

--pid-root ./pid
Was this topic helpful?