serve_header: suppress lgtm warning

2022-08-07 07:32:40 +02:00 · 2022-08-07 07:32:40 +02:00 · 46e53ad177
commit 46e53ad177
parent b0422f8013
1 changed files with 1 additions and 1 deletions
--- a/tools/serve_header/serve_header.py
+++ b/tools/serve_header/serve_header.py
@ -240,7 +240,7 @@ class WorkTrees(FileSystemEventHandler):
        self.observer.stop()
        self.observer.join()

-class HeaderRequestHandler(SimpleHTTPRequestHandler):
+class HeaderRequestHandler(SimpleHTTPRequestHandler): # lgtm[py/missing-call-to-init]
    def __init__(self, request, client_address, server):
        """."""
        self.worktrees = server.worktrees