From 37b40b035b2787244fb14dba72c88b2ea26876b7 Mon Sep 17 00:00:00 2001 From: Josh Bleecher Snyder Date: Fri, 11 Sep 2020 11:00:39 -0700 Subject: [PATCH] wgengine/router/dns: appease staticcheck (again) --- wgengine/router/dns/manager.go | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/wgengine/router/dns/manager.go b/wgengine/router/dns/manager.go index c8cc82bdd..8e2fc9d71 100644 --- a/wgengine/router/dns/manager.go +++ b/wgengine/router/dns/manager.go @@ -10,6 +10,12 @@ import ( "tailscale.com/types/logger" ) +// We use file-ignore below instead of ignore because on some platforms, +// the lint exception is necessary and on others it is not, +// and plain ignore complains if the exception is unnecessary. + +//lint:file-ignore U1000 reconfigTimeout is used on some platforms but not others + // reconfigTimeout is the time interval within which Manager.{Up,Down} should complete. // // This is particularly useful because certain conditions can cause indefinite hangs