lib/python/web_support.py

@@ -664,6 +664,7 @@ class HTMLResult(Result):
         self.headers['Content-Length'] = str(len(buf))
         def later(req):
             headers_later(req)
+            if req.command != 'HEAD':
                 req.wfile.write(buf)
         return later
 
@@ -686,6 +687,7 @@ class BinaryResult(Result):
         headers_later = super(BinaryResult, self).flatten_later()
         def later(req):
             headers_later(req)
+            if req.command != 'HEAD':
                 req.wfile.write(self.contents)
         return later
 
@@ -804,6 +806,7 @@ class WebServiceHTTP(WebServiceBase):
                 finally:
                     service_self.lock.release()
                 result(self)
+            do_HEAD = do_GET
 
             def __parse_path(self):
                 pos = self.path.find('?')