From f3ae182d67c41fd858d7a5831f21eb983257ac91 Mon Sep 17 00:00:00 2001 From: Stefano Pigozzi Date: Mon, 31 Jul 2023 12:12:56 +0200 Subject: [PATCH] Perhaps `String` ids are easier to handle in Rust than `u64` https://redis.io/commands/xadd/ --- todored/src/op.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/todored/src/op.rs b/todored/src/op.rs index ffc3e06..7048a82 100644 --- a/todored/src/op.rs +++ b/todored/src/op.rs @@ -8,7 +8,7 @@ pub enum ClientOperation { /// Set the board's title. Title(String), /// Create a new [`Task`], or update or delete the task with the given [`Uuid`]. - Task(Option, Option), + Task(Option, Option), } /// An operation sent from the server to the clients, and stored on the database. @@ -17,7 +17,7 @@ pub enum ServerOperation { /// Set the board's title. Title(String), /// Create, update, or delete the [`Task`] with the given [`Uuid`]. - Task(u64, Option), + Task(String, Option), } impl ClientOperation {