what2watch/templates/header_with_user.html

{% if self.has_optional_user() %}

{% match user %}
{% when Some with (usr) %}
<div class="header_logged_in">
    Hello, {{ usr.username }}!
</div>
<div>
    <form action="/logout" enctype="application/x-www-form-urlencoded" method="post">
        <button class="warning">
            <input type="submit" value="sign out?">
        </button>
    </form>
</div>

{% else %} <!-- this is for the `when` statement -->
<div class="header_logged_out">
    Heya, why don't you <a href="/login">log in</a> or <a href="/signup">sign up</a>?
</div>
{% endmatch %}

{% else %} <!-- this is for whether or not the template has a user field or not -->

{% endif %}

<hr />