> Exactly. And if you just want redirected data you can try:
> $data = file_get_contents("php://stdin");
> --or--
> For an array of lines:
> $lines = file("php://stdin");
This is exactly what I was looking for. Thanks Shawn and Ben!
thnx,
Christoph
--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
