From 5276bd147946de59867ff998e2965b8c2f77dbd4 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Mon, 28 Dec 2015 17:39:54 +0100
Subject: [PATCH] Fixed URI mapping with regard to trailing slash handling.

---
 .../wsf/router/support/uri/wsf_uri_mapping_i.e   | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/library/server/wsf/router/support/uri/wsf_uri_mapping_i.e b/library/server/wsf/router/support/uri/wsf_uri_mapping_i.e
index 105bc03d..e5f6bc66 100644
--- a/library/server/wsf/router/support/uri/wsf_uri_mapping_i.e
+++ b/library/server/wsf/router/support/uri/wsf_uri_mapping_i.e
@@ -58,13 +58,15 @@ feature -- Status
 		do
 			p := a_path
 			l_uri := based_uri (uri, a_router)
-			if l_uri.ends_with ("/") then
-				if not p.ends_with ("/") then
-					p := p + "/"
-				end
-			else
-				if p.ends_with ("/") then
-					p := p.substring (1, p.count - 1)
+			if trailing_slash_ignored then
+				if l_uri.ends_with ("/") then
+					if not p.ends_with ("/") then
+						p := p + "/"
+					end
+				else
+					if p.ends_with ("/") then
+						p := p.substring (1, p.count - 1)
+					end
 				end
 			end
 			if p.same_string (l_uri) then