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