For Torus record fetch, proxy may be given

[metaproxy-moved-to-github.git] / xml / schema / filter_zoom.rng

diff --git a/xml/schema/filter_zoom.rng b/xml/schema/filter_zoom.rng
index 6b69c99..0c523ed 100644 (file)
--- a/xml/schema/filter_zoom.rng
+++ b/xml/schema/filter_zoom.rng
@@ -36,6 +36,11 @@
           </attribute>
         </optional>
         <optional>
+          <attribute name="proxy">
+            <data type="string"/>
+          </attribute>
+        </optional>
+        <optional>
           <element name="mp:records">
             <zeroOrMore>
               <element name="mp:record">