Daten von einer Pipe lesen

[Romanday]

Ich lese Daten von einer Pipe ein.

if ($fp=fopen("php://stdin","r")) {
    while (!feof($fp)) {
        $line = fgets($fp,4096);
    }
    fclose($fp);
} 

Wie kann man das Script abbrechen, wenn der User das Script
ohne Pipe aufruft?

exit(),die(),set_time_limit() funktionieren hierbei leider nicht.

[J!0X]

ICh weiß nicht, ob diese Funktion in PHP existiert, aber in C++ kann man datei.is_open() dafür verwenden. Kannst ja mal in einer Referenz nachschlagen.
mfG J!0X

[lilapause]

Falls du unter Linux arbeitest hilft dir ein

stat("/dev/stdin"); 

viellicht weiter.