37 lines
705 B
Plaintext
37 lines
705 B
Plaintext
note
|
|
description: "[
|
|
This class implements the `Hello World' service.
|
|
|
|
It inherits from WSF_DEFAULT_SERVICE to get default EWF connector ready
|
|
|
|
`initialize' can be redefine to provide custom options if needed.
|
|
|
|
]"
|
|
|
|
class
|
|
HELLO_APPLICATION
|
|
|
|
inherit
|
|
WSF_DEFAULT_SERVICE [HELLO_EXECUTION]
|
|
redefine
|
|
initialize
|
|
end
|
|
|
|
create
|
|
make_and_launch
|
|
|
|
feature {NONE} -- Initialization
|
|
|
|
initialize
|
|
do
|
|
--| The following line is to be able to load options from the file ewf.ini
|
|
create {WSF_SERVICE_LAUNCHER_OPTIONS_FROM_INI} service_options.make_from_file ("ewf.ini")
|
|
|
|
--| If you don't need any custom options, you are not obliged to redefine `initialize'
|
|
Precursor
|
|
|
|
end
|
|
|
|
|
|
end
|