Module web


Classes

AddressInUseError

CGIWebRequest

HTTPServer

HttpRedirect

InvalidSessionError

NoSessionError

PrivilegedPortError

Session

WebRequest

WebRequestHandler

WebServer

Functions

__clean_up_expired_sessions

__replacement_for_entity

decode_properties

decode_set_control_contents

encode_properties

encode_set_control_contents

escape

format_color

format_exception

format_structured_text

generate_error_page

generate_login_form

get_session

handle_login

handle_logout

http_return_exception

http_return_html

javascript_escape

javascript_unescape

make_button_for_popup

make_button_for_request

make_button_for_url

make_choose_control

make_help_link

make_help_link_html

make_javascript_string

make_popup_page

make_properties_control

make_set_control

make_submit_button

make_url

parse_url_query

unescape

Variables

__entity_regex

_counter

_page_cache_name

_session_cache_name

session_id_field

sessions


[hide private]