Tissevert c329ed556c Stop broadcasting to clients not yet logged in		2019-12-23 09:23:32 +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	Implement multi-sessions for players	2019-12-17 15:01:33 +01:00
Config.hs	First draft, basic session handling	2018-04-11 13:26:41 +02:00
Game.hs	Completely replace App.server by App.get, a function applying a projector to the server	2019-11-18 17:09:00 +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	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
Messaging.hs	Stop broadcasting to clients not yet logged in	2019-12-23 09:23:32 +01:00
Player.hs	Separate PlayerIDs from SessionIDs and simplify protocol accordingly	2019-11-12 23:25:00 +01:00
RW.hs	Rename poorly named module Data to RW	2019-10-13 21:55:15 +02:00
Server.hs	Implement multi-sessions for players	2019-12-17 15:01:33 +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