X-Git-Url: https://git.argeo.org/?a=blobdiff_plain;f=server%2Fruntime%2Forg.argeo.server.jackrabbit%2Fsrc%2Fmain%2Fjava%2Forg%2Fargeo%2Fserver%2Fjackrabbit%2Fwebdav%2FWebDavServlet.java;h=c7b42e6df7be0aeb80e023dd0b386947a0599f33;hb=460170049599090170c48ae447c6c68f1fcb2f63;hp=965a5fd4706225d9249c11d3fcf41797bebde362;hpb=9b0c0818123d0265be3a3d35e4511077109e827a;p=lgpl%2Fargeo-commons.git

diff --git a/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java b/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
index 965a5fd47..c7b42e6df 100644
--- a/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
+++ b/server/runtime/org.argeo.server.jackrabbit/src/main/java/org/argeo/server/jackrabbit/webdav/WebDavServlet.java
@@ -53,6 +53,7 @@ public class WebDavServlet extends SimpleWebdavServlet {
 		// }
 	}
 
+	@SuppressWarnings("restriction")
 	@Override
 	protected void service(HttpServletRequest request,
 			HttpServletResponse response) throws ServletException, IOException {