{% extends "page.html" %} {% if announcement_home %} {% set announcement = announcement_home %} {% endif %} {% block main %}
{% if allow_named_servers %}

Named Servers

In addition to your default server, you may have additional servers with names. This allows you to have more than one server running at the same time.

{% for spawner in user.all_spawners(include_default=False) %} {# name #} {# url #} {# activity #} {# actions #} {% endfor %}
Server name URL Last activity Actions
Add New Server
{{ spawner.name }} {{ user.server_url(spawner.name) }} {% if spawner.last_activity %} {{ spawner.last_activity.isoformat() + 'Z' }} {% else %} Never {% endif %} stop start delete
{% endif %} {% endblock %} {% block script %} {{ super() }} {% endblock %}