Real-time robot spider detection by user agent.