28 lines
455 B
Plaintext
28 lines
455 B
Plaintext
note
|
|
description : "simple application root class"
|
|
date : "$Date$"
|
|
revision : "$Revision$"
|
|
|
|
class
|
|
SERVICE_FILE
|
|
|
|
inherit
|
|
WSF_DEFAULT_SERVICE [SERVICE_FILE_EXECUTION]
|
|
redefine
|
|
initialize
|
|
end
|
|
|
|
create
|
|
make_and_launch
|
|
|
|
feature {NONE} -- Initialization
|
|
|
|
initialize
|
|
do
|
|
Precursor
|
|
set_service_option ("port", 9090)
|
|
import_service_options (create {WSF_SERVICE_LAUNCHER_OPTIONS_FROM_INI}.make_from_file ("service.ini"))
|
|
end
|
|
|
|
end
|