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 c9ba67451e5d02871516e42a0dbf614053b6400c..48dda41dc01639fc47b42ee1092155d5de327d11 100644 (file)
--- 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,