From 947ab624b4ff71ebe3c7643fda3b7a2c769b2f4d Mon Sep 17 00:00:00 2001
From: nek0 <nek0@chelnok.de>
Date: Sat, 27 Aug 2016 13:59:03 +0200
Subject: [PATCH] now hiding administration from non administrators

---
 templates/default-layout.hamlet | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/templates/default-layout.hamlet b/templates/default-layout.hamlet
index fb12771..566b45b 100755
--- a/templates/default-layout.hamlet
+++ b/templates/default-layout.hamlet
@@ -24,10 +24,12 @@
               <li>
                 <a href=@{LogoutR}>
                   Logout
-              $maybe _ <- madmin
-                <li>
-                  <a href=@{AdminR} .red>
-                    Administration
+              $case madmin
+                $of Just admin
+                  $if admin
+                    <li>
+                      <a href=@{AdminR} .red>
+                        Administration
         $nothing
           <li>
             <a href=@{LoginR}>