portal-gui/templates/base.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24


    {% block title %}MyRPKI{% endblock %}
    {% block head %}{% endblock %}
    

      RPKI Portal GUI
    
    
       {% if user.is_authenticated %}
       Logged in as {{ user }} | 
	  {% if user.is_staff %}admin |{% endif %}
	  Log Out
       {% else %}
       Log In
       {% endif %}
       {% block content %}{% endblock %}