This file is indexed.

/usr/share/php/irods/prods/src/setRodsAPINum.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
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<?php
$PRODS_tree_root = dirname(__FILE__) . "/../../..";
$RODS_tree_root = "/opt/sifang/iRODS";

$capi_api_num_file = $RODS_tree_root . "/lib/api/include/apiNumber.h";
$prods_api_num_file = $PRODS_tree_root . "/clients/prods/src/RodsAPINum.inc.php";


// Add more API number here, if you wish. It will be added to the default
// RODS API number. Note that these API number are for web server/client
// only. RODS server does not recongnize them.
$new_api_nums = array(//array("SOMEAPI", 40000),
);

$value_pairs = array();

$lines = explode("\n", file_get_contents($capi_api_num_file));

foreach ($lines as $line) {
    if (strlen($line) < 8) continue;
    if (substr($line, 0, 7) == '#define') {
        $rest = trim(substr($line, 7));
        $tokens = preg_split("/\s+/", $rest);
        var_dump($tokens);
        if (count($tokens) < 2)
            continue;
        $val1 = NULL;
        $val2 = NULL;
        foreach ($tokens as $token) {
            if (strlen($token) > 1) {
                if (empty($val1)) $val1 = trim($token);
                else $val2 = trim($token);
            }
        }
        if ((!empty($val1)) && (!empty($val2))) {
            array_push($value_pairs, array($val1, $val2));
        }
    }
}
var_dump($value_pairs);
foreach ($new_api_nums as $new_code_pair) {
    if ((!is_array($new_code_pair)) || (count($new_code_pair) != 2))
        die("unexpected new_code_pair:$new_code_pair\n");
    array_push($value_pairs, $new_code_pair);
}

$outputstr = "<?php \n" .
    "/* This file is generated by " . basename(__FILE__) .
    "   Please modify that file if you wish to update the " .
    "   API number.            */\n";
$outputstr = $outputstr . '$GLOBALS[\'PRODS_API_NUMS\']=array(' . "\n";
foreach ($value_pairs as $value_pair) {
    $val1 = $value_pair[0];
    $val2 = $value_pair[1];
    $outputstr = $outputstr . "  '$val1' => '$val2',\n";
}
$outputstr = $outputstr . ");\n";

$outputstr = $outputstr . '$GLOBALS[\'PRODS_API_NUMS_REV\']=array(' . "\n";
foreach ($value_pairs as $value_pair) {
    $val1 = $value_pair[0];
    $val2 = $value_pair[1];
    $outputstr = $outputstr . "  '$val2' => '$val1',\n";
}
$outputstr = $outputstr . ");\n";

$outputstr = $outputstr . "?>\n";
file_put_contents($prods_api_num_file, $outputstr);

?>