Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

documentation-crawler: Exclude privacy page from documentation checking

This commit is contained in:
K.Kanakhin 2016-12-19 11:20:22 +06:00 committed by Tim Abbott
parent a57752d158
commit 589ae27190
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -8,6 +8,7 @@ class HelpDocumentationSpider(BaseDocumentationSpider):
name = "help_documentation_crawler" name = "help_documentation_crawler"
start_urls = ['http://localhost:9981/help'] start_urls = ['http://localhost:9981/help']
deny_domains = [] # type: List[str] deny_domains = [] # type: List[str]
deny = ['/privacy']
def _is_external_url(self, url): def _is_external_url(self, url):
# type: (str) -> bool # type: (str) -> bool