From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 24 Apr 2022 21:10:41 +0000 (+0100)
Subject: Make ServerConfig not be Clone
X-Git-Tag: otter-1.1.0~454
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=6b038baae6ec91affd8d307306450793a599fceb;p=otter.git

Make ServerConfig not be Clone

We're going to put GlobalClock in it.  It doesn't actually want to be
Clone since it's a singleton.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/config.rs b/src/config.rs
index c9ba6745..48dda41d 100644
--- a/src/config.rs
+++ b/src/config.rs
@@ -59,7 +59,7 @@ pub struct WholeServerConfig {
   log: LogSpecification,
 }
 
-#[derive(Debug,Clone)]
+#[derive(Debug)]
 pub struct ServerConfig {
   save_dir: String,
   pub command_socket: String,