diff options
-rw-r--r-- | rpkid/rpki/gui/app/templates/app/app_base.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/rpki/gui/app/templates/app/app_base.html b/rpkid/rpki/gui/app/templates/app/app_base.html index 7f3e52c3..9c8f39bf 100644 --- a/rpkid/rpki/gui/app/templates/app/app_base.html +++ b/rpkid/rpki/gui/app/templates/app/app_base.html @@ -12,10 +12,12 @@ {# common navigation #} <ul class='nav nav-list'> + {% if request.session.handle %} <li><a href="{% url "rpki.gui.app.views.dashboard" %}">dashboard</a></li> <li><a href="{% url "rpki.gui.app.views.route_view" %}">routes</a></li> <li><a href="{% url "alert-list" %}">alerts</a>{% alert_count request.session.handle %}</li> <li class="divider"></li> + {% endif %} <li><a href="{% url "rpki.gui.app.views.conf_list" %}" title="select a different resource handle to manage">select identity</a></li> {% if request.user.is_superuser %} <li class="divider"></li> |