session_shared: restart (error recovery) configurable
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 8 Feb 2012 19:15:29 +0000 (20:15 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 8 Feb 2012 19:15:29 +0000 (20:15 +0100)
commit908c8147d8bcef7ed9c84e0c6720a56dd22e6e86
tree1102192fe3cf32eff863d1e25291794ccb8eb002
parentc1915c1645ff4b7ccaa4ec1f0584fdd4371b253c
session_shared: restart (error recovery) configurable

Whether a search is restarted on errors or not, is configurable by
attribute restart in element resultset in configuration.
etc/config-shared1.xml
src/filter_session_shared.cpp
xml/schema/filter_session_shared.rnc