diff options
| -rw-r--r-- | rpkid/rpki/gui/app/templates/base.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/gui/app/templates/base.html b/rpkid/rpki/gui/app/templates/base.html index 770b665e..6138feb3 100644 --- a/rpkid/rpki/gui/app/templates/base.html +++ b/rpkid/rpki/gui/app/templates/base.html @@ -4,7 +4,7 @@ <html lang="en"> <head> <meta name='Content-Type' content='text/html; charset=UTF-8'> - <title>{% block title %}RPKI{% endblock %}</title> + <title>{% block title %}RPKI {% if request.session.handle %}: {{ request.session.handle }}{% endif %}{% endblock %}</title> {% block head %}{% endblock %} <link rel="stylesheet" href="{{ STATIC_URL }}css/bootstrap.min.css" media="screen"> <style type="text/css"> |