From f817008bcd25d70179f885ac5a2a8d1ae001cffa Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 23 Nov 2012 18:04:21 +0100 Subject: [PATCH] Do not use {INDEXABLE_ITERATION_CURSOR}.is_last since it is added from EiffelStudio v7.2 --- .../wsf_router_self_documentation_message.e | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e b/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e index d179fd78..cc2e5d7f 100644 --- a/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e +++ b/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e @@ -28,7 +28,7 @@ feature {NONE} -- Initialization make_with_resource (req: WSF_REQUEST; a_router: WSF_ROUTER; a_resource: STRING) -- Make Current for request `req' and router `a_router' -- and use `a_resource' to also generate links to this documentation via `a_resource' - --| note: it could be "/doc" or "/api/doc" or ... + --| note: it could be "/doc" or "/api/doc" or ... do make (req, a_router) if a_resource /= Void and then attached a_router.base_url as l_base_url then @@ -205,21 +205,24 @@ feature {WSF_RESPONSE} -- Output end end if meths /= Void then - s.append (" [ ") + s.append (" [") across meths as rq loop + s.append (" ") if l_url /= Void and then rq.item.is_case_insensitive_equal ("GET") then s.append ("" + rq.item + "") else s.append (rq.item) end - if not rq.is_last then - s.append (",") - end - s.append (" ") + s.append (",") end - s.append ("]") + if s[s.count] = ',' then + s.put (' ', s.count) -- Remove last ',' + else + s.append_character (' ') + end + s.append_character (']') end hdl := m.handler