From 46e53ad177bedf124df3103948771b03b06f8050 Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Sun, 7 Aug 2022 07:32:40 +0200 Subject: [PATCH] serve_header: suppress lgtm warning --- tools/serve_header/serve_header.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/serve_header/serve_header.py b/tools/serve_header/serve_header.py index 666fa57c3..ca69d3af7 100755 --- 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