Processing logs of web servers