mirror of
https://github.com/yacy/yacy_search_server.git
synced 2025-09-03 15:26:13 -04:00
https://github.com/yacy/yacy_search_server/issues/727 some refactorings done as well to support multiple user agents instead of only one; per request then is one of those user agents selected, not one random per session. Also: made sure that no robots.txt is loaded any more in case that the user agent is not a robot user agent.