You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by ma...@apache.org on 2026/05/28 08:25:54 UTC
(tomcat) branch main updated: Sigh. More of these than I expected.
This is an automated email from the ASF dual-hosted git repository.
markt-asf pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/main by this push:
new 8464be5621 Sigh. More of these than I expected.
8464be5621 is described below
commit 8464be56217b51631d428b826860fe1156d4a090
Author: Mark Thomas <ma...@apache.org>
AuthorDate: Thu May 28 09:25:30 2026 +0100
Sigh. More of these than I expected.
---
java/org/apache/catalina/servlets/WebdavServlet.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/java/org/apache/catalina/servlets/WebdavServlet.java b/java/org/apache/catalina/servlets/WebdavServlet.java
index d4f2a248ba..7eb089f935 100644
--- a/java/org/apache/catalina/servlets/WebdavServlet.java
+++ b/java/org/apache/catalina/servlets/WebdavServlet.java
@@ -1751,7 +1751,7 @@ public class WebdavServlet extends DefaultServlet implements PeriodicEventListen
if (parentLock.hasExpired()) {
resourceLocks.remove(parentPath);
} else {
- // parentPath == currentPath is a check for the first loop
+ // parentPath == path is a check for the first loop
if (parentPath == path || parentLock.depth > 0) {
if (parentLock.isExclusive()) {
if (ifHeader.contains(":" + parentLock.token + ">") && (parentLock.principal == null ||
@@ -1853,7 +1853,7 @@ public class WebdavServlet extends DefaultServlet implements PeriodicEventListen
if (parentLock.hasExpired()) {
resourceLocks.remove(parentPath);
} else {
- // parentPath == currentPath is a check for the first loop
+ // parentPath == path is a check for the first loop
if (parentPath == path || parentLock.depth > 0) {
if (parentLock.isExclusive()) {
if (lockTokenHeader.contains(":" + parentLock.token + ">") &&
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org