Reintroduced HTTPD_STREAM_SOCKET for backward compatibility, and ease of usage. Added websocket libraries (client, and protocol).
38 lines
847 B
Plaintext
38 lines
847 B
Plaintext
note
|
|
description: "Summary description for {HTTPD_SERVER_OBSERVER}."
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
deferred class
|
|
HTTPD_SERVER_OBSERVER
|
|
|
|
feature -- Event
|
|
|
|
on_launched (a_port: INTEGER)
|
|
-- Associated server launched listening on port `a_port'.
|
|
deferred
|
|
end
|
|
|
|
on_stopped
|
|
-- Associated server stopped.
|
|
--| the server may restart itself after being rescued.
|
|
deferred
|
|
end
|
|
|
|
on_terminated
|
|
-- Associated server terminated.
|
|
deferred
|
|
end
|
|
|
|
note
|
|
copyright: "2011-2016, Jocelyn Fiat, Javier Velilla, Eiffel Software and others"
|
|
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
|
|
source: "[
|
|
Eiffel Software
|
|
5949 Hollister Ave., Goleta, CA 93117 USA
|
|
Telephone 805-685-1006, Fax 805-685-6869
|
|
Website http://www.eiffel.com
|
|
Customer support http://support.eiffel.com
|
|
]"
|
|
end
|