How other people can kill your web server: no fun and little profit