##// END OF EJS Templates
Backport PR #8131: handle undefined when sorting quick help...
Backport PR #8131: handle undefined when sorting quick help Since undefined is neither less than nor greater than anything in Javascript, the sort function was treating it as equal to everything, causing inconsistent behavior depending on the sort algorithm of the browser. closes #8089 This ensures undefined elements are sorted last in the sequence.

File last commit:

r17204:b67653df
r20884:3740b498
Show More
logout.html
39 lines | 806 B | text/html | HtmlLexer
{% extends "page.html" %}
{% block stylesheet %}
{{super()}}
<link rel="stylesheet" href="{{ static_url("auth/css/override.css") }}" type="text/css" />
{% endblock %}
{% block login_widget %}
{% endblock %}
{% block site %}
<div id="ipython-main-app" class="container">
{% if message %}
{% for key in message %}
<div class="message {{key}}">
{{message[key]}}
</div>
{% endfor %}
{% endif %}
{% if not login_available %}
Proceed to the <a href="{{base_url}}">dashboard</a>.
{% else %}
Proceed to the <a href="{{base_url}}login">login page</a>.
{% endif %}
<div/>
{% endblock %}
{% block script %}
{{super()}}
<script src="{{static_url("auth/js/logoutmain.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}