Fixed a bug in web server.