J'essaye d'écrire un manuscrit de php simple pour prendre des données de stdin
, le traiter, puis l'écrire à stdout
. Je sais que PHP n'est probablement pas le meilleur langage pour ce genre de choses, mais il existe des fonctionnalités dont j'ai besoin.Comment faire pour traiter stdin stdout en php?
J'ai essayé
<?php
$file = file_get_contents("php://stdin", "r");
echo $file;
?>
mais il ne fonctionne pas. Je l'invoque comme ceci: echo -e "\ndata\n" | php script.php | cat
. et n'obtient aucun message d'erreur. Le script que j'essaie de construire fera en réalité partie d'un plus grand pipeline.
Des indices pour expliquer pourquoi cela ne fonctionne pas? PS: Je ne suis pas très expérimenté avec PHP.
Que se passe-t-il s'il n'y a pas de STDIN disponible au moment de l'exécution? Cela ne ferait-il pas tomber le script? – CMCDragonkai