omit resource holder specific options from the sidebar when the user hasn't selected a resource holder to manage

svn path=/branches/tk500/; revision=5261

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>