2023-06-13 22:56:15 +00:00
|
|
|
{% if self.has_optional_user() %}
|
2023-06-13 19:34:54 +00:00
|
|
|
|
|
|
|
{% match user %}
|
|
|
|
{% when Some with (usr) %}
|
|
|
|
<div class="header_logged_in">
|
|
|
|
Hello, {{ usr.username }}!
|
|
|
|
</div>
|
|
|
|
<div class="header_signout">
|
|
|
|
<input type="submit" value="sign out?">
|
|
|
|
</form>
|
|
|
|
</div>
|
|
|
|
{% else %}
|
|
|
|
<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 %}
|
|
|
|
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<hr/>
|