From 1eb751b5f0172b20b977db4afa3e74f310041a57 Mon Sep 17 00:00:00 2001
From: SJost <jost@tcs.ifi.lmu.de>
Date: Thu, 31 Jan 2019 18:27:54 +0100
Subject: [PATCH] Access CRegisterR refactored again

---
 src/Foundation.hs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/Foundation.hs b/src/Foundation.hs
index 8d338c7f0..32af16476 100644
--- a/src/Foundation.hs
+++ b/src/Foundation.hs
@@ -473,12 +473,11 @@ tagAccessPredicate AuthTime = APDB $ \route _ -> case route of
     case mbc of
       (Just (Entity _ Course{courseRegisterFrom, courseRegisterTo}))
         | not registered
-        , Just regFrom <- courseRegisterFrom -- Nothing = no registration
-        , regFrom <= now
-        , maybe True (now <=) courseRegisterTo -> return Authorized
+        , maybe False (now >=) courseRegisterFrom -- Nothing => no registration allowed
+        , maybe True  (now <=) courseRegisterTo -> return Authorized
       (Just (Entity _ Course{courseDeregisterUntil}))
         | registered
-        , maybe True (now <=) courseDeregisterUntil -> return Authorized
+        , maybe True  (now <=) courseDeregisterUntil -> return Authorized
       _other -> unauthorizedI MsgUnauthorizedCourseTime
 
   MessageR cID -> maybeT (unauthorizedI MsgUnauthorizedSystemMessageTime) $ do