| 12345678910111213141516171819202122232425 |
- <!doctype html><html lang="en"><head><meta charset="utf-8"><title>JupyterLab</title><meta name="viewport" content="width=device-width,initial-scale=1">{# Copy so we do not modify the page_config with updates. #} {% set page_config_full = page_config.copy() %} {# Set a dummy variable - we just want the side effect of the update. #} {% set _ = page_config_full.update(baseUrl=base_url, wsUrl=ws_url) %}<script id="jupyter-config-data" type="application/json">{{ page_config_full | tojson }}</script>{% block favicon %}<link rel="icon" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon.ico" class="idle favicon"><link rel="" type="image/x-icon" href="{{ base_url | escape }}static/favicons/favicon-busy-1.ico" class="busy favicon">{% endblock %} {% if custom_css %}<link rel="stylesheet" href="{{ base_url | escape }}custom/custom.css">{% endif %}<script defer="defer" src="{{page_config.fullStaticUrl}}/main.60c74ae570d773ed6e71.js?v=60c74ae570d773ed6e71"></script></head><body class="jp-ThemedContainer"><script>/* Remove token from URL. */
- (function () {
- var location = window.location;
- var search = location.search;
- // If there is no query string, bail.
- if (search.length <= 1) {
- return;
- }
- // Rebuild the query string without the `token`.
- var query = '?' + search.slice(1).split('&')
- .filter(function (param) { return param.split('=')[0] !== 'token'; })
- .join('&');
- // Rebuild the URL with the new query string.
- var url = location.origin + location.pathname +
- (query !== '?' ? query : '') + location.hash;
- if (url === location.href) {
- return;
- }
- window.history.replaceState({ }, '', url);
- })();</script></body></html>
|
