summaryrefslogtreecommitdiff |
diff options
author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2019-01-17 12:21:19 +0100 |
---|---|---|
committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2019-01-17 12:21:19 +0100 |
commit | 53e381b707550119afaed7bc956f3241a8208e5b (patch) | |
tree | 77c85c7f512f810e30f1ecf6a3b8a353ed027a82 /src/roster-editor | |
parent | 4e1381121b442b8861c9fca7ae98cccf7cde62fd (diff) |
...
Diffstat (limited to 'src/roster-editor')
-rw-r--r-- | src/roster-editor/src/Comm/JoinBattle.elm | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/roster-editor/src/Comm/JoinBattle.elm b/src/roster-editor/src/Comm/JoinBattle.elm index 0175a12..470ea66 100644 --- a/src/roster-editor/src/Comm/JoinBattle.elm +++ b/src/roster-editor/src/Comm/JoinBattle.elm @@ -32,8 +32,16 @@ try_encoding model = ("pid", (Json.Encode.string model.player_id)), ( "six", - (Json.Encode.string - (Struct.Flags.force_get_param "six" model.flags) + (Json.Encode.int + ( + case + (String.toInt + (Struct.Flags.force_get_param "six" model.flags) + ) + of + (Just ix) -> ix + _ -> -1 + ) ) ), ( |