Include config_proxy.xml in dist

[metaproxy-moved-to-github.git] / etc / config-shared1.xml

diff --git a/etc/config-shared1.xml b/etc/config-shared1.xml
index 0dc2b2d..a13ad54 100644 (file)
--- a/etc/config-shared1.xml
+++ b/etc/config-shared1.xml
@@ -9,7 +9,7 @@
     <filter id="backend" type="z3950_client">
     </filter>
   </filters>
-  <routes>  
+  <routes>
     <route id="start">
       <filter refid="frontend"/>
       <filter type="log">
@@ -19,8 +19,8 @@
       <filter type="limit">
         <limit bandwidth="50000" pdu="100" search="5" retrieve="50"/>
       </filter>
-      <filter type="session_shared"> 
-       <resultset ttl="10" max="3"/>
+      <filter type="session_shared">
+       <resultset ttl="10" max="3" optimizesearch="false" restart="true"/>
        <session ttl="30"/>
       </filter>
       <filter type="log">