server/src
2020-01-13 08:37:02 +01:00
..
App.hs Revert "Switch session logging out and relaying the log-out message to keep the sessionID accessible until the end" : the solution was to handle cases when the player wasn't logged in separately 2019-11-20 18:27:41 +01:00
Automaton.hs Relay positive answers to invitations too, to simplify games list handling from client 2020-01-13 08:37:02 +01:00
Config.hs First draft, basic session handling 2018-04-11 13:26:41 +02:00
Game.hs Adapt Game module to changes in protocol handling gameID with a shared GameState between public and private parts 2020-01-13 08:36:28 +01:00
Keys.hs Adapt code to new PublicGame data structure, output messages in the new format and break everything doing so 2019-10-18 19:01:46 +02:00
Main.hs Handle Player log out with multiple sessions and get rid of the too simple «logOut» function 2019-12-24 00:39:56 +01:00
Messaging.hs Stop broadcasting to clients not yet logged in 2019-12-23 09:23:32 +01:00
Player.hs Use the Show instance of IDs to improve debug 2019-12-26 19:31:43 +01:00
RW.hs Rename poorly named module Data to RW 2019-10-13 21:55:15 +02:00
Server.hs Handle Player log out with multiple sessions and get rid of the too simple «logOut» function 2019-12-24 00:39:56 +01:00
Session.hs Use the newest requirements in lib to define an ID prefix for the Session type 2019-11-20 18:26:23 +01:00