[DRE-maint] Bug#584431: redmine-plugin-botsfilter: if user-agent isn't set, bots filter results in a 500

[micah anderson]

tags 584431 patch
thanks

I think that this would make it work:

--- /tmp/bots_filter.rb	2010-06-03 08:53:02.625377683 -0700
+++ /usr/share/redmine/vendor/plugins/redmine_bots_filter/lib/bots_filter.rb	2010-06-03 08:19:20.000000000 -0700
@@ -41,7 +41,7 @@
   BOTS_USER_AGENT_RE = Regexp.new("(#{BOTS_USER_AGENT.collect {|a| Regexp.escape(a)}.join('|')})", Regexp::IGNORECASE)
   
   def bot_request?
-	request.user_agent.match(BOTS_USER_AGENT_RE) 
+	return request.user_agent.match(BOTS_USER_AGENT_RE) if request.user_agent
   end
 end