[sagenb] 82/179: pub_timeout is useless
felix salfelder
felix-guest at moszumanska.debian.org
Tue May 6 12:05:12 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 7346a9af24aab2d4b8bd0650a9a42507dbae2a67
Author: Keshav Kini <keshav.kini at gmail.com>
Date: Mon Apr 1 19:32:02 2013 -0700
pub_timeout is useless
Thanks to @ppurka for pointing out that published worksheets are never
interactive anyway.
---
sagenb/notebook/notebook.py | 4 ++--
sagenb/notebook/server_conf.py | 8 --------
2 files changed, 2 insertions(+), 10 deletions(-)
diff --git a/sagenb/notebook/notebook.py b/sagenb/notebook/notebook.py
index 7faecff..53e4357 100644
--- a/sagenb/notebook/notebook.py
+++ b/sagenb/notebook/notebook.py
@@ -1250,12 +1250,12 @@ class Notebook(object):
def quit_idle_worksheet_processes(self):
timeout = self.conf()['idle_timeout']
- pub_timeout = self.conf()['pub_timeout']
+ doc_timeout = self.conf()['doc_timeout']
for W in self.__worksheets.values():
if W.compute_process_has_been_started():
if W.docbrowser():
- W.quit_if_idle(pub_timeout)
+ W.quit_if_idle(doc_timeout)
else:
W.quit_if_idle(timeout)
diff --git a/sagenb/notebook/server_conf.py b/sagenb/notebook/server_conf.py
index 4671600..707cafe 100644
--- a/sagenb/notebook/server_conf.py
+++ b/sagenb/notebook/server_conf.py
@@ -15,7 +15,6 @@ defaults = {'word_wrap_cols':72,
'max_history_length':250,
'idle_timeout': 120,
- 'pub_timeout': 120,
'doc_timeout': 120,
'idle_check_interval':360,
@@ -76,13 +75,6 @@ defaults_descriptions = {
TYPE : T_INTEGER,
},
- 'pub_timeout': {
- POS : 2,
- DESC : _('Idle timeout for published worksheets (seconds)'),
- GROUP : G_SERVER,
- TYPE : T_INTEGER,
- },
-
'doc_timeout': {
POS : 3,
DESC : _('Idle timeout for live documentation (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