From aeabf9a13afaa2bd0ddfcb4e8541e50b1c4daf11 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 19 Mar 2021 19:47:25 +0000 Subject: [PATCH] clock: User swap to other position Signed-off-by: Ian Jackson --- src/clock.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/clock.rs b/src/clock.rs index 8250a2c9..632cd227 100644 --- a/src/clock.rs +++ b/src/clock.rs @@ -430,12 +430,11 @@ impl PieceTrait for Clock { if let Some(_gpl) = gs.players.get(state.users[user].player) { throw!(OE::BadPieceStateForOperation); } + state.users[user].player = player; if state.users[! user].player == player { - // todo: some more useful per-player message - // xxx: actually, clear us from the other player instead ? - throw!(OE::BadPieceStateForOperation); + // OK, you want to swap + state.users[! user].player = default(); } - state.users[user].player = player; }, "unclaim-x" | "unclaim-y" => { // xxx these need to be Unpredictable let user = get_user(); -- 2.30.2