diff options
Diffstat (limited to 'jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java')
-rw-r--r-- | jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java b/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java index ab181862f4..ae10b7d872 100644 --- a/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java +++ b/jetty-servlet/src/main/java/org/eclipse/jetty/servlet/ServletMapping.java @@ -65,6 +65,25 @@ public class ServletMapping { _pathSpecs = pathSpecs; } + + + /* ------------------------------------------------------------ */ + /** Test if the list of path specs contains a particular one. + * @param pathSpec the path spec + * @return true if path spec matches something in mappings + */ + public boolean containsPathSpec (String pathSpec) + { + if (_pathSpecs == null || _pathSpecs.length == 0) + return false; + + for (String p:_pathSpecs) + { + if (p.equals(pathSpec)) + return true; + } + return false; + } /* ------------------------------------------------------------ */ /** |