summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-09-08 05:27:50 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-09-08 05:27:50 +0200
commit78862729e6c52ac5bf919079e2a81c5f318cf522 (patch)
tree7e99944c079ebe093a91bb27e243861571533cf6 /src/login/src/Struct
parent7cba3a16cb13f8e56f39b434d6278d68e2118145 (diff)
Redirects to login (and back) if disconnected.
Diffstat (limited to 'src/login/src/Struct')
-rw-r--r--src/login/src/Struct/Flags.elm42
-rw-r--r--src/login/src/Struct/Model.elm6
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 = "",