From facdfd0b4a39ed9db45819587bbc589ea26bb73f Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 20 Dec 2012 18:37:13 +0100 Subject: [PATCH] added WSF_SUPPORT.environment_item --- library/server/ewf_support/src/before_72/wsf_support.e | 7 +++++++ library/server/ewf_support/src/greater_or_72/wsf_support.e | 5 +++++ 2 files changed, 12 insertions(+) diff --git a/library/server/ewf_support/src/before_72/wsf_support.e b/library/server/ewf_support/src/before_72/wsf_support.e index 01d44f27..8800bd7c 100644 --- a/library/server/ewf_support/src/before_72/wsf_support.e +++ b/library/server/ewf_support/src/before_72/wsf_support.e @@ -26,4 +26,11 @@ feature -- Access: environment Result := execution_environment.starting_environment_variables end + environment_item (a_name: READABLE_STRING_GENERAL): detachable STRING_32 + do + if attached execution_environment.get (a_name.to_string_8) as v then + Result := v.to_string_32 + end + end + end diff --git a/library/server/ewf_support/src/greater_or_72/wsf_support.e b/library/server/ewf_support/src/greater_or_72/wsf_support.e index b2c2cdb4..559333dd 100644 --- a/library/server/ewf_support/src/greater_or_72/wsf_support.e +++ b/library/server/ewf_support/src/greater_or_72/wsf_support.e @@ -26,4 +26,9 @@ feature -- Access: environment Result := execution_environment.starting_environment end + environment_item (a_name: READABLE_STRING_GENERAL): detachable STRING_32 + do + Result := execution_environment.item (a_name) + end + end