From bc2e8b8ee21368296dc5a8facfc5bb0b8d47d2fe Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 9 Nov 2011 18:07:03 +0100 Subject: [PATCH] Added is_request_method (STRING): BOOLEAN to help users --- library/server/wsf/src/wsf_request.e | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e index a2d67d50..c1e61c6b 100644 --- a/library/server/wsf/src/wsf_request.e +++ b/library/server/wsf/src/wsf_request.e @@ -111,6 +111,14 @@ feature -- Access: Input Result := wgi_request.input end +feature -- Helper + + is_request_method (m: READABLE_STRING_8): BOOLEAN + -- Is `m' the Current request_method? + do + Result := request_method.is_case_insensitive_equal (m) + end + feature {NONE} -- Access: global variable items_table: HASH_TABLE [WSF_VALUE, READABLE_STRING_8]