1. Wojciech Malinowski
  2. Webware

Source

Webware / WebKit / Admin / EditFile.py

from WebKit.Page import Page

# Set this to True if you want to pass additional information.
# For security reasons, this has been disabled by default.
appInfo = False


class EditFile(Page):
    """Helper servlet for the feature provided by the IncludeEditLink setting."""

    def writeInfo(self, key, value):
        self.writeln('%s: %s' % (key, value))

    def writeHTML(self):
        res = self.response()
        header = res.setHeader
        info = self.writeInfo
        req = self.request()
        env = req.environ()
        field = req.field

        header('Content-Type', 'application/x-webkit-edit-file')
        header('Content-Disposition', 'inline; filename="WebKit.EditFile"')

        # Basic information for editing the file:
        info('Filename', field('filename'))
        info('Line', field('line'))

        # Additional information about the hostname:
        info('Hostname', env.get('HTTP_HOST', 'localhost'))

        if appInfo:
            # Additional information about this Webware installation:
            app = self.application()
            info('ServerSidePath', app.serverSidePath())
            info('WebwarePath', app.webwarePath())
            info('WebKitPath', app.webKitPath())