note description: "Summary description for {EMBEDDED_WEB_SERVICE}." author: "" date: "$Date$" revision: "$Revision$" deferred class EMBEDDED_WEB_SERVICE [G -> EMBEDDED_WEB_EXECUTION create make end] inherit WSF_SERVICE SHARED_EMBEDED_WEB_SERVICE_INFORMATION feature -- Initialization make do create on_launched_actions end feature -- Execution launch local launcher: WSF_STANDALONE_SERVICE_LAUNCHER [G] opts: WSF_SERVICE_LAUNCHER_OPTIONS do create opts.default_create opts.set_verbose (True) opts.set_option ("port", port_number) create launcher.make (opts) observer := launcher.connector.observer launcher.on_launched_actions.force (agent on_launched) launcher.launch end observer: detachable separate WGI_STANDALONE_SERVER_OBSERVER on_launched (conn: WGI_STANDALONE_CONNECTOR [G]) do set_port_number (conn.port) on_launched_actions.call (Void) end feature -- Access on_launched_actions: ACTION_SEQUENCE [TUPLE] end