Warning

This document is for an old release of Galaxy. You can alternatively view this page in the latest release if it exists or view the top of the latest release's documentation.

tool_shed.webapp.framework.middleware package

WSGI Middleware.

Submodules

tool_shed.webapp.framework.middleware.remoteuser module

Middleware for handling $REMOTE_USER if use_remote_user is enabled.

class tool_shed.webapp.framework.middleware.remoteuser.RemoteUser(app, maildomain=None, display_servers=None, admin_users=None, remote_user_secret_header=None)

Bases: object

__init__(app, maildomain=None, display_servers=None, admin_users=None, remote_user_secret_header=None)

error(start_response, title='Access denied', message='Contact your local Galaxy tool shed administrator.')