| <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"></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.cce1c6d9a919936183e5.js?v=cce1c6d9a919936183e5"></script></head><body><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> |