开发者

How to determine if a stream is STDIN in PHP

I'm working on some PHP cli tools for a php framework and there's a situation where my script either reads from a file or STDIN. Since not all operations (like fseek()) are valid on STDIN, I'm looking for a way to开发者_开发问答 detect this.


Turns out that the function stream_get_meta_data() provides a solution, when called on standard in, the result is:

array(9) {
  ["wrapper_type"]=>
  string(3) "PHP"
  ["stream_type"]=>
  string(5) "STDIO"
  ["mode"]=>
  string(1) "r"
  ["unread_bytes"]=>
  int(0)
  ["seekable"]=>
  bool(false)
  ["uri"]=>
  string(11) "php://stdin"
  ["timed_out"]=>
  bool(false)
  ["blocked"]=>
  bool(true)
  ["eof"]=>
  bool(false)
}

So you can do a simple string compare on the uri:

function isSTDIN($stream) {
    $meta = stream_get_meta_data($stream);
    return strcmp($meta['uri'], 'php://stdin') == 0;
}

This solution will work whether the constant stream STDIO is used, or the old fopen('php://stdin', 'r'), which still lurks around in old code.


Simply check if($fp === STDIN)

0

上一篇:

下一篇:

精彩评论

暂无评论...
验证码 换一张
取 消

最新问答

问答排行榜