This file is indexed.

/usr/share/libgda-5.0/php/gda-clean.php is in libgda-5.0-common 5.2.4-1ubuntu1.

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
<?php
/* Configure session cache */
session_cache_limiter('nocache');
session_start();

include_once "gda-utils.php";
include_once "gda-config.php";

header('Content-type: text/plain; charset=UTF-8');

$cmdfile = get_command_filename (session_id ());
$replyfile = get_reply_filename (session_id ());

@unlink ($cmdfile);
@unlink ($replyfile);

/* all cleaned */
$reply = new SimpleXMLElement("<reply></reply>");
$reply->addChild ("status", "OK");
echo gda_add_hash ($init_shared, $reply->asXml());
session_destroy ();

?>