From ee13393a9133fd8b82d11f2d92cfc92a779f9001 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 23 Nov 2012 10:07:33 +0100 Subject: [PATCH] Made WSF_ROUTER_METHODS.new_cursor an INDEXABLE_ITERATION_CURSOR which is richer than just ITERATION_CURSOR --- library/server/wsf/router/wsf_router_methods.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/server/wsf/router/wsf_router_methods.e b/library/server/wsf/router/wsf_router_methods.e index ae93c122..6861d669 100644 --- a/library/server/wsf/router/wsf_router_methods.e +++ b/library/server/wsf/router/wsf_router_methods.e @@ -96,7 +96,7 @@ feature -- Status report feature -- Access - new_cursor: ITERATION_CURSOR [READABLE_STRING_8] + new_cursor: INDEXABLE_ITERATION_CURSOR [READABLE_STRING_8] -- Fresh cursor associated with current structure do Result := methods.new_cursor