From 93a0dc65b6804553cb92ee0cf2a73de1e2732dcf Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Mon, 31 Jul 2023 12:32:04 +0200
Subject: [PATCH] Rename `ServerOperation` to `BoardOperation`

---
 todored/src/op.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/todored/src/op.rs b/todored/src/op.rs
index 7048a82..5a71842 100644
--- a/todored/src/op.rs
+++ b/todored/src/op.rs
@@ -13,7 +13,7 @@ pub enum ClientOperation {
 
 /// An operation sent from the server to the clients, and stored on the database.
 #[derive(Clone, Debug, Serialize, Deserialize)]
-pub enum ServerOperation {
+pub enum BoardOperation {
 	/// Set the board's title.
 	Title(String),
 	/// Create, update, or delete the [`Task`] with the given [`Uuid`].
@@ -26,13 +26,13 @@ impl ClientOperation {
 	}
 }
 
-impl ServerOperation {
+impl BoardOperation {
 	fn store(&self, rconn: redis::aio::Connection, board: &str) -> Result<()> {
-		log::debug!("Storing ServerOperation in Redis: {:?}", &self);
+		log::debug!("Storing BoardOperation in Redis: {:?}", &self);
 
-		log::trace!("Serializing ServerOperation to JSON...");
+		log::trace!("Serializing BoardOperation to JSON...");
 		let data = serde_json::ser::to_string(self)
-			.expect_or_500_and_log("Failed to serialize ServerOperation");
+			.expect_or_500_and_log("Failed to serialize BoardOperation");
 
 		log::trace!("Computing Redis key...");
 		let stream_key = format!("board:{{{board}}}:stream");