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`.
This commit is contained in:
FiliusPatris
2021-02-28 19:27:47 +01:00
committed by GitHub
parent 662515ce2e
commit d025ba63e1

View File

@ -339,7 +339,7 @@ public class ServerControl implements ApplicationListener{
if(!maps.all().isEmpty()){ if(!maps.all().isEmpty()){
info("Maps:"); info("Maps:");
for(Map map : maps.all()){ 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{ }else{
info("No maps found."); info("No maps found.");