chiark / gitweb /
Make ServerConfig not be Clone
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Apr 2022 21:10:41 +0000 (22:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Apr 2022 00:13:08 +0000 (01:13 +0100)
commit6b038baae6ec91affd8d307306450793a599fceb
tree999592e34bc669474dd188c8b9b4bcfb14fc919c
parente611b7fdb587de6beea2b733b8296d5e1697c0d3
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