From bcdacc88d38df38c386a7872a69244fd0d2408f0 Mon Sep 17 00:00:00 2001
From: Ben McIlwain <cydeweys@gmail.com>
Date: Mon, 29 Jul 2019 14:37:04 -0400
Subject: [PATCH] Remove vestigial path for streaming EPP metrics (#184)

* Remove vestigial path for streaming EPP metrics

The relevant action was deleted last year here: google@218c451

This removes the final hanging piece.
---
 .../java/google/registry/env/common/backend/WEB-INF/web.xml  | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/core/src/main/java/google/registry/env/common/backend/WEB-INF/web.xml b/core/src/main/java/google/registry/env/common/backend/WEB-INF/web.xml
index 2ac301115..bf7533948 100644
--- a/core/src/main/java/google/registry/env/common/backend/WEB-INF/web.xml
+++ b/core/src/main/java/google/registry/env/common/backend/WEB-INF/web.xml
@@ -13,11 +13,6 @@
     <load-on-startup>1</load-on-startup>
   </servlet>
 
-  <servlet-mapping>
-    <servlet-name>backend-servlet</servlet-name>
-    <url-pattern>/_dr/task/metrics</url-pattern>
-  </servlet-mapping>
-
   <!-- RDE -->
 
   <!--