cli_set_process_title
(PHP 5 >= 5.5.0, PHP 7)
cli_set_process_title — Définit le titre du processus
Description
$title
) : boolDéfinit le titre du processus visible avec des outils comme top et ps. Cette fonction n'est disponible qu'en mode CLI.
Erreurs / Exceptions
Une alerte de niveau E_WARNING sera générée si le système
sous-jacent n'est pas supporté.
Exemples
Exemple #1 Exemple avec cli_set_process_title()
<?php
$title = "Mon super script PHP";
$pid = getmypid(); // vous pouvez utiilser ceci pour voir le titre de votre processus dans ps
if (!cli_set_process_title($title)) {
echo "Impossible de définir le titre du processus pour le PID $pid...\n";
exit(1);
} else {
echo "Le titre du processus '$title' pour le PID $pid a bien été défini !\n";
sleep(5);
}
?>
Voir aussi
- cli_get_process_title() - Retourne le titre du processus courant
- setproctitle() - Définit le titre du processus
Version en cache
25/12/2024 02:36:49 Cette version de la page est en cache (à la date du 25/12/2024 02:36:49) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-cli-set-process-title.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.
