From 6b038baae6ec91affd8d307306450793a599fceb Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 24 Apr 2022 22:10:41 +0100
Subject: [PATCH] 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>
---
 src/config.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
-- 
2.30.2