From 695f9f0e135ca3f70195a26fa76c02ba90dbc3d5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 26 Aug 2020 22:47:28 +0100
Subject: [PATCH] disable rocket colours

---
 src/bin/server.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bin/server.rs b/src/bin/server.rs
index 406f79c2..f72ad859 100644
--- a/src/bin/server.rs
+++ b/src/bin/server.rs
@@ -71,6 +71,8 @@ fn main() {
   let config_filename = env::args().nth(1);
   ServerConfig::read(config_filename.as_ref().map(String::as_str))?;
 
+  std::env::set_var("ROCKET_CLI_COLORS","off");
+
   load_games()?;
 
   let cl = CommandListener::new()?;
-- 
2.30.2