diff options
Diffstat (limited to 'server')
-rw-r--r-- | server/src/main/java/com/vaadin/server/ServletPortletHelper.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server/src/main/java/com/vaadin/server/ServletPortletHelper.java b/server/src/main/java/com/vaadin/server/ServletPortletHelper.java index 82ea4a9d1d..d0daff471a 100644 --- a/server/src/main/java/com/vaadin/server/ServletPortletHelper.java +++ b/server/src/main/java/com/vaadin/server/ServletPortletHelper.java @@ -98,6 +98,10 @@ public class ServletPortletHelper implements Serializable { prefix = '/' + prefix; } + if (!pathInfo.endsWith("/") && prefix.endsWith("/")) { + pathInfo += '/'; + } + if (pathInfo.startsWith(prefix)) { return true; } |