def do_HEAD()

in WebApp.py [0:0]


    def do_HEAD(self):
        """Serve a HEAD request."""
        f = self.send_head()
        if f:
            f.close()