in WebAppEncSSE.py [0:0]
def do_HEAD(self): """Serve a HEAD request.""" f = self.send_head() if f: f.close()