This file is indexed.

/usr/share/doc/php-irods-prods/examples/streamer.php is in php-irods-prods 3.3.0~beta1-2ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
<?php
// include the streamer class, which enable PHP core to recongnize "irods"
// as a valid stream, just like file stream, socket stream, or HTTP stream.
require_once("/Path/to/Prods/src/ProdsStreamer.class.php");

// read and print the file "/tempZone/home/demouser/test.txt". assuming:
// username: demouser, password: demopass, server: srbbrick15.sdsc.edu, port: 1247
$str = file_get_contents("irods://demouser:demopass@srbbrick15.sdsc.edu:1247/tempZone/home/demouser/test.txt");
var_dump($str);

// print the children of home dir "/tempZone/home/demouser"
$children = scandir("irods://demouser:demopass@srbbrick15.sdsc.edu:1247/tempZone/home/demouser");
var_dump($children);
?>