note description: "Basic Service launcher" class APPLICATION inherit WSF_DEFAULT_SERVICE [APPLICATION_EXECUTION] redefine initialize end create make_and_launch feature {NONE} -- Initialization initialize -- Initialize current service. do set_service_option ("port", 9090) end end