mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Forgot to add make_and_launch_with_options to the creation procedures

Browse Source
This commit is contained in:
Jocelyn Fiat
2011-12-14 15:04:29 +01:00
parent c7366615cf
commit ab5b43d8ef
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
library/server/wsf/default/cgi/default_service_launcher.e
View File

@@ -24,7 +24,8 @@ inherit
WSF_SERVICE WSF_SERVICE
create create
make_and_launch make_and_launch,
make_and_launch_with_options
feature {NONE} -- Initialization feature {NONE} -- Initialization

3
library/server/wsf/default/libfcgi/default_service_launcher.e
View File

@@ -24,7 +24,8 @@ inherit
WSF_SERVICE WSF_SERVICE
create create
make_and_launch make_and_launch,
make_and_launch_with_options
feature {NONE} -- Initialization feature {NONE} -- Initialization