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/character | |
parent | 7cba3a16cb13f8e56f39b434d6278d68e2118145 (diff) |
Redirects to login (and back) if disconnected.
Diffstat (limited to 'src/character')
-rw-r--r-- | src/character/src/Struct/Flags.elm | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/src/character/src/Struct/Flags.elm b/src/character/src/Struct/Flags.elm deleted file mode 100644 index 228d258..0000000 --- a/src/character/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) |