lundi 6 juillet 2009
En lisant un exemple de code source PHP qui démontrait comment récupérer le process id (pid) d'un processus roulant sur un serveur Linux, j'ai découvert une notation que je ne soupçonnais pas. En me référant à la documentation PHP, j'ai vu qu'on pouvait substituer l'appel à la fonction shell_exec() par l'opérateur backtick (``). Attention, ce n'est pas une erreur de typo, c'est bel et bien le caractère pour les accents graves (ALT+96 sur le clavier numérique) et non des guillemets simples.
Les deux instructions suivantes sont équivalentes :
$pid = `pidof firefox`;Même si je connais maintenant cette alternative, je crois que je vais quand même préférer utiliser la notation qui facilitera le plus la compréhension au moment de relire le code dans un futur plus ou moins rapproché (à moins bien sûr de laisser un commentaire concernant le backtick pour éclairer le prochain programmeur qui y mettera son nez).
$pid = shell_exec('pidof firefox');
echo $pid; // 3216
# voir ps -A pour obtenir la liste de tous les processus