This file is indexed.

/usr/share/idl/tao/Current.pidl is in libtao-dev 6.0.1-3.

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
// -*- IDL -*-

/**
 * @file Current.pidl
 *
 * $Id: Current.pidl 78935 2007-07-18 12:40:46Z johnnyw $
 *
 * This file is used to generate CurrentC.*
 */

#ifndef TAO_CURRENT_PIDL
#define TAO_CURRENT_PIDL

#pragma prefix "omg.org"

module CORBA
{
  local interface Current {};
};

#endif  /* TAO_CURRENT_PIDL */