Merged branch 'jetty-9.3.x' into 'jetty-9.4.x'.

This commit is contained in:
Simone Bordet 2017-01-20 15:42:39 +01:00
commit c7c183c370
1 changed files with 2 additions and 0 deletions

View File

@ -40,6 +40,8 @@ public class ServletPathSpec extends PathSpec
public ServletPathSpec(String servletPathSpec)
{
if (servletPathSpec == null)
servletPathSpec = "";
if (servletPathSpec.startsWith("servlet|"))
servletPathSpec = servletPathSpec.substring("servlet|".length());
assertValidServletPathSpec(servletPathSpec);