diff options
Diffstat (limited to 'yaksh/settings.py')
| -rw-r--r-- | yaksh/settings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yaksh/settings.py b/yaksh/settings.py index f687d51..9e9597d 100644 --- a/yaksh/settings.py +++ b/yaksh/settings.py @@ -16,7 +16,7 @@ SERVER_POOL_PORT = config('SERVER_POOL_PORT', default=55555, cast=int) SERVER_HOST_NAME = config('SERVER_HOST_NAME', default='http://localhost') # Timeout for the code to run in seconds. This is an integer! -SERVER_TIMEOUT = config('SERVER_TIMEOUT', default=6, cast=int) +SERVER_TIMEOUT = config('SERVER_TIMEOUT', default=4, cast=int) # The root of the URL, for example you might be in the situation where you # are not hosted as host.org/exam/ but as host.org/foo/exam/ for whatever |