This file is indexed.

/usr/share/doc/python-werkzeug-doc/examples/cupoftee/templates/serverlist.html is in python-werkzeug-doc 0.10.4+dfsg1-1ubuntu1.1.

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
<h2>Server List</h2>
<p>
  Currently <strong>$len(players)</strong> players are playing on
  <strong>$len(servers)</strong> servers.
  <% if cup.master.last_sync %>
    This list was last synced on
    <strong>$cup.master.last_sync.strftime('%d %B %Y at %H:%M UTC')</strong>.
  <% else %>
    Syncronization with master server in progress.  Reload the page in a minute
    or two, to see the server list.
  <% endif %>
</p>
<table class="servers">
  <thead>
    <tr>
      <th>$self.order_link('name', 'Name')</th>
      <th>$self.order_link('map', 'Map')</th>
      <th>$self.order_link('gametype', 'Gametype')</th>
      <th>$self.order_link('players', 'Players')</th>
      <th>$self.order_link('progression', 'Progression')</th>
    </tr>
  </thead>
  <tbody>
    <% for server in servers %>
    <tr>
      <th><a href="$url_for('server', id=server.id)">$escape(server.name)</a></th>
      <td>$escape(server.map)</td>
      <td>$server.gametype</td>
      <td>$server.player_count / $server.max_players</td>
      <td>${server.progression >= 0 and '%d%%' % server.progression or '?'}</td>
    </tr>
    <% endfor %>
  </tbody>
</table>
<h3>Players online</h3>
<p>
  The following map represents the users playing currently.  The bigger their name
  the higher their score in the current game.  Clicking on the name takes you to
  the detail page of the server for some more information.
</p>
<div class="players">
<% for player in players %>
  <a href="$url_for('server', id=player.server.id)" title="score: $player.score"
     style="font-size: $player.size%">$escape(player.name)</a>
<% endfor %>
</div>
<h3>Find User</h3>
<p>
  Find a user by username.  The result page contains a link you can bookmark to
  find your buddy easily.  Because currently there is no central user database
  users can appear on multiple servers for too generic usernames (like the
  default "nameless tee" user).
</p>
<form action="$url_for('search')" method="get">
  <p>
    <input type="text" name="user" value="" size="30">
    <input type="submit" value="Search">
  </p>
</form>