paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-09 00:18:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

mypy: Fix missing documentation_crawler annotation.

Browse Source
This commit is contained in:
Tim Abbott
2017-04-06 15:31:42 -07:00
parent 10e9c3bb84
commit 3a1912e829
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py
View File

@@ -90,6 +90,7 @@ class BaseDocumentationSpider(scrapy.Spider):
yield request yield request
def exclude_error(self, url): def exclude_error(self, url):
# type: (str) -> bool
if url in EXCLUDED_URLS: if url in EXCLUDED_URLS:
return True return True
return False return False