чт, 21 нояб. 2019 г. в 20:14, <schu...@apache.org>:
>
> This is an automated email from the ASF dual-hosted git repository.
>
> schultz pushed a commit to branch 8.5.x
> in repository https://gitbox.apache.org/repos/asf/tomcat.git
>
>
> The following commit(s) were added to refs/heads/8.5.x by this push:
>      new fdf0ba0  Add RFC references.
> fdf0ba0 is described below
>
> commit fdf0ba0aaebaffd588077defea0f56d6ba81396e
> Author: Christopher Schultz <ch...@christopherschultz.net>
> AuthorDate: Thu Nov 21 11:17:54 2019 -0500
>
>     Add RFC references.
> ---
>  java/org/apache/catalina/servlets/WebdavServlet.java | 7 ++++++-
>  1 file changed, 6 insertions(+), 1 deletion(-)
>
> diff --git a/java/org/apache/catalina/servlets/WebdavServlet.java 
> b/java/org/apache/catalina/servlets/WebdavServlet.java
> index ef5573d..f870443 100644
> --- a/java/org/apache/catalina/servlets/WebdavServlet.java
> +++ b/java/org/apache/catalina/servlets/WebdavServlet.java
> @@ -61,7 +61,10 @@ import org.xml.sax.InputSource;
>  import org.xml.sax.SAXException;
>
>  /**
> - * Servlet which adds support for WebDAV level 2. All the basic HTTP requests
> + * Servlet which adds support for
> + * <a href="https://tools.ietf.org/html/rfc4918";>WebDAV</a>
> + * <a href="https://tools.ietf.org/html/rfc4918#section-18";>level 2</a>.
> + * All the basic HTTP requests
>   * are handled by the DefaultServlet. The WebDAVServlet must not be used as 
> the
>   * default servlet (ie mapped to '/') as it will not work in this 
> configuration.
>   * <p>
> @@ -120,6 +123,8 @@ import org.xml.sax.SAXException;
>   * http://host:port/context/webdavedit/content
>   *
>   * @author Remy Maucherat
> + *
> + * @see https://tools.ietf.org/html/rfc4918
>   */

This change triggered a compilation failure at Buildbot, see
https://ci.apache.org/builders/tomcat-85-trunk/builds/2053

IIRC, if a plain URL is used in a '@see' tag it should be in double quotes,
@see "https://tools.ietf.org/html/rfc4918";


Best regards,
Konstantin Kolinko

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org

Reply via email to