diff options
| author |  Johannes Christ <[email protected]> | 2021-09-03 19:20:59 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-09-03 19:20:59 +0200 |
| commit | f6d886e9b19cb1657167251916f99b5cbddf8343 (patch) | |
| tree | 8ce363e66356d6df9a80365afd903487929415f0 /pydis_site/constants.py | |
| parent | Merge pull request #571 from Numerlor/doc-blank-base_url (diff) | |
| parent | Timeout when fetching GitHub repository metadata (diff) | |
Merge pull request #577 from python-discord/Add-timeout-to-GitHub-repo-metadata-fetch
Timeout when fetching GitHub repository metadata
Diffstat (limited to 'pydis_site/constants.py')
| -rw-r--r-- | pydis_site/constants.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pydis_site/constants.py b/pydis_site/constants.py index e6a63d12..e913f40f 100644 --- a/pydis_site/constants.py +++ b/pydis_site/constants.py @@ -2,3 +2,5 @@ import os GIT_SHA = os.environ.get("GIT_SHA", "development") GITHUB_TOKEN = os.environ.get("GITHUB_TOKEN") +# How long to wait for synchronous requests before timing out +TIMEOUT_PERIOD = int(os.environ.get("TIMEOUT_PERIOD", 5)) |