note description: "Summary description for {WEB_SOCKET_SERVICE}." date: "$Date$" revision: "$Revision$" class WEB_SOCKET_SERVICE [G -> WEB_SOCKET_EXECUTION create make end] create make_and_launch feature {NONE} -- Initialization make_and_launch local l_launcher: WSF_STANDALONE_WEBSOCKET_SERVICE_LAUNCHER [G] opts: WEB_SOCKET_SERVICE_OPTIONS do create opts set_options (opts) opts.append_options (create {WSF_SERVICE_LAUNCHER_OPTIONS_FROM_INI}.make_from_file ("ws.ini")) create l_launcher.make_and_launch (opts) end set_options (opts: WEB_SOCKET_SERVICE_OPTIONS) -- Set values on `opts'. do end end