Jocelyn Fiat
bf0eb9a02d
WSF_SERVICE is deeply changed, and addition of WSF_EXECUTION. Todo: code cleaning, removing useless things.
27 lines
521 B
Plaintext
27 lines
521 B
Plaintext
note
|
|
description: "[
|
|
Specific application launcher
|
|
|
|
DO NOT EDIT THIS CLASS
|
|
|
|
you can customize APPLICATION_LAUNCHER
|
|
]"
|
|
date: "$Date: 2013-06-12 13:55:42 +0200 (mer., 12 juin 2013) $"
|
|
revision: "$Revision: 36 $"
|
|
|
|
deferred class
|
|
APPLICATION_LAUNCHER_I [G -> WSF_EXECUTION create make end]
|
|
|
|
feature -- Execution
|
|
|
|
launch (opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
|
|
local
|
|
launcher: WSF_SERVICE_LAUNCHER [G]
|
|
do
|
|
create {WSF_DEFAULT_SERVICE_LAUNCHER [G]} launcher.make_and_launch (opts)
|
|
end
|
|
|
|
end
|
|
|
|
|