This file is indexed.

/usr/share/php/irods/prods/src/ProdsTicket.class.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
<?php
/**
 * Developer: Daniel Speichert <s@drexel.edu>
 * Date: 30.01.13
 * Time: 14:15
 */

require_once("autoload.inc.php");

class ProdsTicket
{
    private $account;

    public function __construct( RODSAccount &$account )
    {
        $this->account = $account;
    }

    /*
     * This is just a stupid wrapper
     * It proxifies RODSConn->createTicket
     */
    public function createTicket( $object, $permission = 'read', $ticket = '' )
    {
        $conn = RODSConnManager::getConn($this->account);
        $ticket = $conn->createTicket($object, $permission, $ticket );
        RODSConnManager::releaseConn($conn);
        return $ticket;
    }

    /*
     * This is also a stupid wrapper
     * It proxifies RODSConn->deleteTicket
     */
    public function deleteTicket( $ticket )
    {
        $conn = RODSConnManager::getConn($this->account);
        $ticket = $conn->deleteTicket( $ticket );
        RODSConnManager::releaseConn($conn);
    }
}