WSF_SERVICE is deeply changed, and addition of WSF_EXECUTION. Todo: code cleaning, removing useless things.
27 lines
349 B
Plaintext
27 lines
349 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)
|
|
end
|
|
|
|
end
|