summaryrefslogtreecommitdiff |
diff options
author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-08 05:27:50 +0200 |
---|---|---|
committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-08 05:27:50 +0200 |
commit | 78862729e6c52ac5bf919079e2a81c5f318cf522 (patch) | |
tree | 7e99944c079ebe093a91bb27e243861571533cf6 /src/login/src/Struct | |
parent | 7cba3a16cb13f8e56f39b434d6278d68e2118145 (diff) |
Redirects to login (and back) if disconnected.
Diffstat (limited to 'src/login/src/Struct')
-rw-r--r-- | src/login/src/Struct/Flags.elm | 42 | ||||
-rw-r--r-- | src/login/src/Struct/Model.elm | 6 |
2 files changed, 5 insertions, 43 deletions
diff --git a/src/login/src/Struct/Flags.elm b/src/login/src/Struct/Flags.elm deleted file mode 100644 index 228d258..0000000 --- a/src/login/src/Struct/Flags.elm +++ /dev/null @@ -1,42 +0,0 @@ -module Struct.Flags exposing - ( - Type, - maybe_get_param - ) - --- Elm ------------------------------------------------------------------------- -import List - --- Map ------------------------------------------------------------------- -import Util.List - --------------------------------------------------------------------------------- --- TYPES ----------------------------------------------------------------------- --------------------------------------------------------------------------------- -type alias Type = - { - user_id : String, - token : String, - url_params : (List (List String)) - } - --------------------------------------------------------------------------------- --- LOCAL ----------------------------------------------------------------------- --------------------------------------------------------------------------------- - --------------------------------------------------------------------------------- --- EXPORTED -------------------------------------------------------------------- --------------------------------------------------------------------------------- -maybe_get_param : String -> Type -> (Maybe String) -maybe_get_param param flags = - case - (Util.List.get_first - (\e -> ((List.head e) == (Just param))) - flags.url_params - ) - of - Nothing -> Nothing - (Just a) -> - case (List.tail a) of - Nothing -> Nothing - (Just b) -> (List.head b) diff --git a/src/login/src/Struct/Model.elm b/src/login/src/Struct/Model.elm index 859c054..7d14239 100644 --- a/src/login/src/Struct/Model.elm +++ b/src/login/src/Struct/Model.elm @@ -9,9 +9,11 @@ module Struct.Model exposing -- Elm ------------------------------------------------------------------------- +-- Shared ---------------------------------------------------------------------- +import Struct.Flags + -- Login ----------------------------------------------------------------------- import Struct.Error -import Struct.Flags import Struct.HelpRequest import Struct.UI @@ -22,6 +24,7 @@ type alias Type = { help_request: Struct.HelpRequest.Type, error: (Maybe Struct.Error.Type), + flags: Struct.Flags.Type, username: String, password1: String, password2: String, @@ -46,6 +49,7 @@ new flags = model = { help_request = Struct.HelpRequest.None, + flags = flags, error = Nothing, username = "", password1 = "", |