class HTTP_SERVER
Summary
Direct parents
Insert list: SERVER
Overview
Creation features
{ANY}
Features
{ANY}
{}
{HTTP_CONNECTION}
{}
{ANY}
{}
{}
{}
is_alive: BOOLEAN
effective function
{ANY}
log (a_message: ABSTRACT_STRING)
effective procedure
{ANY}
current_time: STRING
effective function
{}
shutdown
effective procedure
A connection asked the server to shut down
halt
effective procedure
A connection asked the server to halt
connection_done (a_connection: HTTP_CONNECTION)
effective procedure
A connection is about to finish.
error_handler: PROCEDURE[TUPLE 1[STRING]]
writable attribute
{}
error handler
connection_factory: FUNCTION[TUPLE, HTTP_CONNECTION]
writable attribute
{}
the HTTP connection factory
make (a_error_handler: PROCEDURE[TUPLE 1[STRING]], a_connection_factory: FUNCTION[TUPLE, HTTP_CONNECTION])
effective procedure
{}
handle_error (msg: STRING)
effective procedure
{}
What to do when there was an error
connections_pool: RECYCLING_POOL[HTTP_CONNECTION]
once function
{}
new_connection: HTTP_CONNECTION
effective function
{}
Create a new connection
release_connection (cnx: HTTP_CONNECTION)
effective procedure
{}
start (access: ACCESS)
effective procedure
{ANY}
Start a server at the given access point.
start_in_stack (access: ACCESS, a_stack: LOOP_STACK, a_shutdown_handler: PROCEDURE[TUPLE[TUPLE 1[HTTP_SERVER]]]): BOOLEAN
effective function
{ANY}
Start the server in the given stack.
set_logger (a_logger: PROCEDURE[TUPLE 1[ABSTRACT_STRING]])
effective procedure
{ANY}
writable attribute
{}
standalone_handler_agent: PROCEDURE[TUPLE[TUPLE 1[HTTP_SERVER]]]
effective function
{}
common_start (access: ACCESS): BOOLEAN
effective function
{}
stack: LOOP_STACK
writable attribute
{}
writable attribute
{}
connections: INTEGER_32
writable attribute
{}
shutdown_handler: PROCEDURE[TUPLE[TUPLE 1[HTTP_SERVER]]]
writable attribute
{}
handle_connect (a_io: SOCKET_INPUT_OUTPUT_STREAM)
effective procedure
{}
Handle a connection to the server.
handle_shutdown (a_server: SOCKET_SERVER_JOB)
effective procedure
{}
Shutdown gracefully when all connections are closed.
standalone_shutdown (a_server: HTTP_SERVER)
effective procedure
{}