cli_set_process_title
(PHP 5 >= 5.5.0, PHP 7)
cli_set_process_title — プロセスのタイトルを設定する
説明
bool cli_set_process_title
( string
$title
)プロセスのタイトルを設定します。これは top や ps といったツールで表示されます。 この関数は、 CLI モードでしか使えません。
パラメータ
-
title -
新しいタイトル。
返り値
成功した場合に TRUE を、失敗した場合に FALSE を返します。
エラー / 例外
OS がこの機能に対応していない場合に E_WARNING
が発生します。
例
例1 cli_set_process_title() の例
<?php
$title = "My Amazing PHP Script";
$pid = getmypid(); // これを使えば、プロセスのタイトルを ps で確認できます
if (!cli_set_process_title($title)) {
echo "Unable to set process title for PID $pid...\n";
exit(1);
} else {
echo "The process title '$title' for PID $pid has been set for your process!\n";
sleep(5);
}
?>
忘却曲線を使ってこの関数を確実に記憶に残す
