external_pid_file

Type: string
Contexte: postmaster
Redémarrer: true

Indique le nom d'un fichier supplémentaire d'identifiant de processus (PID) créé par le serveur à l'intention des programmes d'administration du serveur. Ce paramètre ne peut être initialisé qu'au lancement du serveur.

Recommandations [EN]

Creates an extra copy of the process ID. Used for server administration tools which need a copy of the process ID in a specific directory.

Commentaires