From 8b5353df0ae908fb203f62af480a964f97ebbd50 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Mon, 26 Nov 2012 16:06:08 +0100
Subject: [PATCH] Avoid using INDEXABLE_ITERATION_CURSOR.is_last

---
 .../wsf_router_self_documentation_message.e       | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 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 051446a9..fb707b90 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
@@ -223,21 +223,24 @@ feature {WSF_RESPONSE} -- Output
 				s.append ("</code>")
 
 				if meths /= Void then
-					s.append (" [ ")
+					s.append (" [")
 					across
 						meths as rq
 					loop
+						s.append_character (' ')
 						if l_url /= Void and then rq.item.is_case_insensitive_equal ("GET") then
 							s.append ("<a href=%"" + l_base_url + l_url + "%">" + rq.item + "</a>")
 						else
 							s.append (rq.item)
 						end
-						if not rq.is_last then
-							s.append (",")
-						end
-						s.append (" ")
+						s.append_character (',')
 					end
-					s.append ("]")
+					if s[s.count] = ',' then
+						s.put (' ', s.count)
+					else
+						s.append_character (' ')
+					end
+					s.append_character (']')
 				end
 
 				s.append (" <em class=%"mappingdoc%">" + html_encoder.encoded_string (m.description) + "</em> ")