From def978a7c283040294f3237109572ec801c436eb Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 15 May 2024 19:28:45 +0900 Subject: [PATCH] Detect local doc server by nonzero port number --- src/sage/repl/ipython_kernel/kernel.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/sage/repl/ipython_kernel/kernel.py b/src/sage/repl/ipython_kernel/kernel.py index 72938a799ff..e72e311b34d 100644 --- a/src/sage/repl/ipython_kernel/kernel.py +++ b/src/sage/repl/ipython_kernel/kernel.py @@ -108,14 +108,13 @@ def help_links(self): # src/bin/sage-notebook. from sage.env import SAGE_DOC_SERVER_URL + from sage.env import SAGE_DOC_LOCAL_PORT as port from sage.features.sagemath import sagemath_doc_html if SAGE_DOC_SERVER_URL: def doc_url(path): return f'{SAGE_DOC_SERVER_URL}/{path}' - elif sagemath_doc_html().is_present(): - from sage.env import SAGE_DOC_LOCAL_PORT as port - + elif sagemath_doc_html().is_present() and int(port): def doc_url(path): return f'http://127.0.0.1:{port}/{path}' else: