Fixed Undefined index: HTTP_USER_AGENT

[Floris]

Error log showed four of these.
not quite sure if this is from a plugin or something else

 

[Jake Bunce]

Confirmed in 1.0.4.

This error happens when the user agent header is empty. To reproduce I installed a Firefox addon to modify my user agent. Then I visited a thread.

 

[Mike]

I actually fixed this already as we had a couple here in the past.

 

[Floris]

Good to hear! Will we see a 1.0.5 in September/October?