From d025ba63e1c692845f713deceb4d536d8af19d7d Mon Sep 17 00:00:00 2001
From: FiliusPatris <FiliusPatrisApps@gmail.com>
Date: Sun, 28 Feb 2021 19:27:47 +0100
Subject: [PATCH] Display map names with underscores (#4819)

This makes it obvious how to specify map names with spaces. It also
allows for copy-pasting form the output of `maps`.
---
 server/src/mindustry/server/ServerControl.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/src/mindustry/server/ServerControl.java b/server/src/mindustry/server/ServerControl.java
index 66ba27b107..bd3507c936 100644
--- a/server/src/mindustry/server/ServerControl.java
+++ b/server/src/mindustry/server/ServerControl.java
@@ -339,7 +339,7 @@ public class ServerControl implements ApplicationListener{
             if(!maps.all().isEmpty()){
                 info("Maps:");
                 for(Map map : maps.all()){
-                    info("  @: &fi@ / @x@", map.name(), map.custom ? "Custom" : "Default", map.width, map.height);
+                    info("  @: &fi@ / @x@", map.name().replace(' ', '_'), map.custom ? "Custom" : "Default", map.width, map.height);
                 }
             }else{
                 info("No maps found.");