diff options
author | 2020-02-29 01:17:27 +1000 | |
---|---|---|
committer | 2020-02-29 01:17:27 +1000 | |
commit | 850080e2c39dfa7594eab935d4fb9d3ba0a61455 (patch) | |
tree | 19444cb5a6ad5f90dbfd3006486ddb9e7bb83b1e /scripts/dev.sh | |
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.
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions