22 lines
347 B
Plaintext
22 lines
347 B
Plaintext
note
|
|
description: "Summary description for {WEB_SOCKET_EXECUTION}."
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
deferred class
|
|
WEB_SOCKET_EXECUTION
|
|
|
|
inherit
|
|
WSF_WEBSOCKET_EXECUTION
|
|
|
|
WEB_SOCKET_EVENT_I
|
|
|
|
feature -- Websocket execution
|
|
|
|
new_websocket_handler (ws: WEB_SOCKET): WEB_SOCKET_HANDLER
|
|
do
|
|
create Result.make (ws, Current)
|
|
end
|
|
|
|
end
|