mirror of
https://github.com/stellarshenson/stellars-jupyterhub-ds.git
synced 2026-03-07 21:50:28 +00:00
- Remove unused *.html from services/jupyterhub/templates/ - Keep only certs/ subdirectory in templates/ - Rename templates_enhanced to html_templates_enhanced - Update Dockerfile COPY paths
76 lines
2.2 KiB
HTML
76 lines
2.2 KiB
HTML
{% extends "page.html" %}
|
|
{% block main %}
|
|
<div class="container">
|
|
<div class="row">
|
|
<div class="text-center">
|
|
{% block heading %}
|
|
<h1>
|
|
{% if failed %}
|
|
Spawn failed
|
|
{% else %}
|
|
Server not running
|
|
{% endif %}
|
|
</h1>
|
|
{% endblock heading %}
|
|
{% block message %}
|
|
<p>
|
|
{% if failed %}
|
|
The latest attempt to start your server {{ server_name }} has failed.
|
|
{% if failed_html_message %}
|
|
</p>
|
|
<p>{{ failed_html_message | safe }}</p>
|
|
<p>{% elif failed_message %}</p>
|
|
<p>{{ failed_message }}</p>
|
|
<p>
|
|
{% endif %}
|
|
Would you like to retry starting it?
|
|
{% else %}
|
|
Your server {{ server_name }} is not running.
|
|
{% if implicit_spawn_seconds %}
|
|
It will be restarted automatically.
|
|
If you are not redirected in a few seconds,
|
|
click below to launch your server.
|
|
{% else %}
|
|
Would you like to start it?
|
|
{% endif %}
|
|
{% endif %}
|
|
</p>
|
|
{% endblock message %}
|
|
{% block start_button %}
|
|
<a id="start"
|
|
role="button"
|
|
class="btn btn-lg btn-primary"
|
|
href="{{ spawn_url }}">
|
|
{% if failed %}
|
|
Relaunch
|
|
{% else %}
|
|
Launch
|
|
{% endif %}
|
|
Server {{ server_name }}
|
|
</a>
|
|
{% endblock start_button %}
|
|
</div>
|
|
</div>
|
|
</div>
|
|
{% endblock main %}
|
|
{% block script %}
|
|
{{ super () }}
|
|
{% if implicit_spawn_seconds %}
|
|
{# djlint:off #}
|
|
<script type="text/javascript">
|
|
var spawn_url = "{{ spawn_url }}";
|
|
var implicit_spawn_seconds = {{ implicit_spawn_seconds }};
|
|
setTimeout(function() {
|
|
console.log("redirecting to spawn at", spawn_url);
|
|
window.location = spawn_url;
|
|
},
|
|
1000 * implicit_spawn_seconds
|
|
);
|
|
</script>
|
|
{# djlint:on #}
|
|
{% endif %}
|
|
<script type="text/javascript">
|
|
require(["not_running"]);
|
|
</script>
|
|
{% endblock script %}
|