Optimize AntPathRequestMatcher.getRequestPath()

This commit is contained in:
Christoph Dreis 2018-07-02 16:22:09 +02:00 committed by Rob Winch
parent a08fa22b27
commit 4ccd2f7ebd

View File

@ -1,5 +1,5 @@
/* /*
* Copyright 2002-2016 the original author or authors. * Copyright 2002-2018 the original author or authors.
* *
* Licensed under the Apache License, Version 2.0 (the "License"); * Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License. * you may not use this file except in compliance with the License.
@ -173,8 +173,9 @@ public final class AntPathRequestMatcher
private String getRequestPath(HttpServletRequest request) { private String getRequestPath(HttpServletRequest request) {
String url = request.getServletPath(); String url = request.getServletPath();
if (request.getPathInfo() != null) { String pathInfo = request.getPathInfo();
url += request.getPathInfo(); if (pathInfo != null) {
url = StringUtils.hasLength(url) ? pathInfo : url + pathInfo;
} }
return url; return url;