[sagenb] 73/179: Increase timeout for live docs
felix salfelder
felix-guest at moszumanska.debian.org
Tue May 6 12:05:11 UTC 2014
This is an automated email from the git hooks/post-receive script.
felix-guest pushed a commit to branch master
in repository sagenb.
commit 5993b5cb3855c8b2189d0d98636186e7372cd36c
Author: Nicolas M. Thiery <nthiery at users.sf.net>
Date: Wed Mar 27 15:49:17 2013 -0700
Increase timeout for live docs
Note: it seems that this setting 'idle_timeout' is only used for live
documentation browser pages, so it should be safe to change it without
affecting users' worksheets' behavior.
---
sagenb/notebook/server_conf.py | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sagenb/notebook/server_conf.py b/sagenb/notebook/server_conf.py
index 39b3072..f619d7e 100644
--- a/sagenb/notebook/server_conf.py
+++ b/sagenb/notebook/server_conf.py
@@ -14,7 +14,9 @@ _ = lazy_gettext
defaults = {'word_wrap_cols':72,
'max_history_length':250,
- 'idle_timeout':120, # 2 minutes
+ 'idle_timeout':600, # for a live documentation worksheet:
+ # quit the compute process if it has
+ # been idle for 10 minutes
'idle_check_interval':360,
'save_interval':360, # seconds
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/sagenb.git
More information about the debian-science-commits
mailing list