PostgreSQLのexternal_pid_fileがシャットダウンのためにチェックされていますか？

Question

Question PostgreSQLの設定オプションexternal_pid_file：postmaster.pidではなく、追加のPIDファイルをシャットダウンするかどうかチェックしますか？私は見つけることができる何

がある：postmaster.pidが破損または削除された場合

# If external_pid_file is not explicitly set, no extra PID file is written. 
external_pid_file = '/var/run/postgresql/9.4-main.pid'   # write an extra PID file 

通常、サーバーは、このように

performing immediate shutdown because data directory lock file is invalid 

行動に関する上記の質問でシャットダウンします。フィードバックを感謝します。

Answer 1

外部PIDファイルは何も使用されていません。誰かが、例えば/var/run/のようなPIDファイルを望むならば、簡単にそれを行うことができます。しかし、PostgreSQLサーバの実行中に外部PIDファイルを削除すると、すぐにシャットダウンすることはありません。