From b62dc4ff28cce03b7ddda60ef4ed8ad3bd75e819 Mon Sep 17 00:00:00 2001
From: Tissevert <tissevert+devel@marvid.fr>
Date: Tue, 24 Dec 2019 00:36:17 +0100
Subject: [PATCH] LogOut becomes a server message (clients just shut the
 connection now)

---
 src/Hanafuda/Message.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Hanafuda/Message.hs b/src/Hanafuda/Message.hs
index 6d1f7c2..839265a 100644
--- a/src/Hanafuda/Message.hs
+++ b/src/Hanafuda/Message.hs
@@ -75,7 +75,6 @@ data FromClient =
   | Tadaima {myID :: PlayerID, name :: Text}
   | Answer {accept :: Bool, to :: PlayerID}
   | Invitation {to :: PlayerID}
-  | LogOut
   | Play {move :: KoiKoi.Move, onGame :: PublicGame}
   | Quit
   | Ping
@@ -198,6 +197,7 @@ data T =
   | Welcome {room :: Room, key :: PlayerID}
   | Okaeri {room :: Room}
   | LogIn {from :: PlayerID, as :: Text}
+  | LogOut {from :: PlayerID}
   | Game {state :: PublicGame, logs :: [KoiKoi.Action]}
   | Pong
   | Error {error :: String}