# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1513122102 -3600
# Node ID ead4db12051525f2b8e3d01b27d401d879adc8cb
# Parent  9471c7309ecc024e543b0879b9703454fac047ff
components/common: profile is now always set, so we just test if it evaluate to True to know if a user is logged

diff -r 9471c7309ecc -r ead4db120515 default/components/common.html
--- a/default/components/common.html	Mon Dec 04 01:11:33 2017 +0100
+++ b/default/components/common.html	Wed Dec 13 00:41:42 2017 +0100
@@ -1,6 +1,6 @@
 {# menu labels, map from menu names to labels #}
 {% set ml = {
-    'login': _('Session') if profile is defined else _('Log in'),
+    'login': _('Session') if profile else _('Log in'),
     'blog_view': _('Blog'),
     'merge-requests_list': _('Merge requests'),
     'merge-request_new': _('Create new merge request'),