From abc0d5e79b6d8ffbbd3d55a8cb98cdb668e69b24 Mon Sep 17 00:00:00 2001 From: "neiljp (Neil Pilgrim)" Date: Wed, 1 Nov 2017 21:15:14 -0700 Subject: [PATCH] mypy: Add type parameter for Set in check_help_documentation.py. --- .../documentation_crawler/spiders/check_help_documentation.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/documentation_crawler/documentation_crawler/spiders/check_help_documentation.py b/tools/documentation_crawler/documentation_crawler/spiders/check_help_documentation.py index 59e2f74fd7..d9ff3a329d 100644 --- a/tools/documentation_crawler/documentation_crawler/spiders/check_help_documentation.py +++ b/tools/documentation_crawler/documentation_crawler/spiders/check_help_documentation.py @@ -25,7 +25,7 @@ class HelpDocumentationSpider(BaseDocumentationSpider): def __init__(self, *args: Any, **kwargs: Any) -> None: super().__init__(*args, **kwargs) - self.static_images = set() # type: Set + self.static_images = set() # type: Set[str] def _is_external_url(self, url: str) -> bool: is_external = url.startswith('http') and 'localhost:9981/help' not in url