From ab5b43d8ef6539869817b4a314b63fcf9630d0db Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 14 Dec 2011 15:04:29 +0100 Subject: [PATCH] Forgot to add make_and_launch_with_options to the creation procedures --- library/server/wsf/default/cgi/default_service_launcher.e | 3 ++- library/server/wsf/default/libfcgi/default_service_launcher.e | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/library/server/wsf/default/cgi/default_service_launcher.e b/library/server/wsf/default/cgi/default_service_launcher.e index d92e0099..53d7379e 100644 --- a/library/server/wsf/default/cgi/default_service_launcher.e +++ b/library/server/wsf/default/cgi/default_service_launcher.e @@ -24,7 +24,8 @@ inherit WSF_SERVICE create - make_and_launch + make_and_launch, + make_and_launch_with_options feature {NONE} -- Initialization diff --git a/library/server/wsf/default/libfcgi/default_service_launcher.e b/library/server/wsf/default/libfcgi/default_service_launcher.e index 94c2d08d..70b5e7f3 100644 --- a/library/server/wsf/default/libfcgi/default_service_launcher.e +++ b/library/server/wsf/default/libfcgi/default_service_launcher.e @@ -24,7 +24,8 @@ inherit WSF_SERVICE create - make_and_launch + make_and_launch, + make_and_launch_with_options feature {NONE} -- Initialization