End a game when everyone has skipped their turn

2023-03-20 19:03:26 +01:00
parent 429fed7893
commit 5f92bdde4e
6 changed files with 110 additions and 14 deletions
--- a/board-network/src/protocol.rs
+++ b/board-network/src/protocol.rs
@@ -58,4 +58,6 @@ pub enum ServerMessage {
    /// Informs that a tile has been removed
    TileRemoved(Position2dRef),
    TurnRejected(String),
+    /// Notify that the game has ended.
+    GameOver,
 }