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]