diff options
| author | Michael Elkins <melkins@tislabs.com> | 2013-06-13 18:38:59 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2013-06-13 18:38:59 +0000 |
| commit | 40b017c2eb7684b307377dc99913174c0b8a44c5 (patch) | |
| tree | 2071844a7b55935230717eca40e548182a53a508 | |
| parent | 4a2e2ddc7b12924f505c0e35dda806ad019e459b (diff) | |
add current resource holder name to page title so it appears in the browser tab.
closes #546
svn path=/trunk/; revision=5402
| -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"> |