leer la entrada estándar stdin por php

Es muy común leer la entrada standard cuando realizamos en un script de línea de comandos, en php, lo podemos realizar directamente accediendo al stream stdin e iterando y obteniendo el contenido a través fgets.

El siguiente ejemplo (muy sencillo y poco funcional xD), lee la entrada standard stdin y toma un par de acciones (de hecho solo dos, time y quit xD).

<?php
$p = fopen("php://stdin","r");
if($p)
{
	while( !feof($p) )
	{
		$buff = trim( fgets($p , 4096) );
		if ( $buff == "time" )
			echo date("Y-m-d H:i:s")."\n";
		if ( $buff == "quit" )
		{
			echo "bye =)";
			exit();
		}
	}
}