note
	description: "Websocket server."
	date: "$Date$"
	revision: "$Revision$"

class
	APPLICATION

inherit
	WEB_SOCKET_SERVICE [APPLICATION_EXECUTION]
		redefine
			set_options
		end

create
	make_and_launch

feature {NONE} -- Initialization

	set_options (opts: WEB_SOCKET_SERVICE_OPTIONS)
		do
			opts.set_is_verbose (True) -- For debug purpose
			opts.set_verbose_level ("debug")

			opts.set_is_secure (True) -- If SSL is supported
			opts.set_secure_certificate ("ca.crt") -- Change to use your own crt file.
			opts.set_secure_certificate_key ("ca.key") -- Change to use your own key file.

			opts.set_port (default_port_number)
		end

feature -- Access

	default_port_number: INTEGER = 9090

note
	copyright: "2011-2016, Javier Velilla, Jocelyn Fiat and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
end