This file is indexed.

/usr/lib/python3/dist-packages/terminado/uimodule.py is in python3-terminado 0.6-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
import os.path
import tornado.web

class Terminal(tornado.web.UIModule):
    def render(self, ws_url, cols=80, rows=25):
        return ('<div class="terminado-container" '
                'data-ws-url="{ws_url}" '
                'data-rows="{rows}" data-cols="{cols}"/>').format(
                        ws_url=ws_url, rows=rows, cols=cols)

    def javascript_files(self):
        # TODO: Can we calculate these dynamically?
        return ['/xstatic/termjs/term.js', '/static/terminado.js']

    def embedded_javascript(self):
        file = os.path.join(os.path.dirname(__file__), 'uimod_embed.js')
        with open(file) as f:
            return f.read()