Fix: a minor bug in web.cgi;
Add: sendfile() in web.cgi.