Tissevert 465c6981ae Implement proper user renaming + broadcast new name upon receiving a Hello message in a connected state		2020-02-02 19:23:24 +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 proper user renaming + broadcast new name upon receiving a Hello message in a connected state	2020-02-02 19:23:24 +01:00
Config.hs	Implement key persistence for server	2020-01-27 16:00:03 +01:00
Game.hs	Follow move of 'logs' into PublicGame and start implementing re-sync protocol on the server side	2020-01-20 22:58:06 +01:00
Keys.hs	Implement key persistence for server	2020-01-27 16:00:03 +01: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	Follow move of 'logs' into PublicGame and start implementing re-sync protocol on the server side	2020-01-20 22:58:06 +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