diff options
| author |  scragly <[email protected]> | 2020-02-29 01:17:27 +1000 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-02-29 01:17:27 +1000 |
| commit | 850080e2c39dfa7594eab935d4fb9d3ba0a61455 (patch) | |
| tree | 19444cb5a6ad5f90dbfd3006486ddb9e7bb83b1e | |
| parent | Merge pull request #54 from python-discord/ci-improvements (diff) | |
Change snekbox timeout to 6 seconds.
This is to attempt to avoid matching the bot's typing event being resent at the 5 second mark, which seems to be causing it to hang around after the timeout message.
| -rw-r--r-- | snekbox.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/snekbox.cfg b/snekbox.cfg index 2e8b2e0..38f3ade 100644 --- a/snekbox.cfg +++ b/snekbox.cfg @@ -5,7 +5,7 @@ mode: ONCE hostname: "snekbox" cwd: "/snekbox" -time_limit: 5 +time_limit: 6 keep_env: false envar: "LANG=en_US.UTF-8" |