From 3fb832310393def3d02f31758dc66651f589d041 Mon Sep 17 00:00:00 2001 From: Rsl1122 Date: Sat, 21 Sep 2019 11:23:30 +0300 Subject: [PATCH] Allowed server names with cool characters --- .../com/djrapitops/plan/identification/ServerServerInfo.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Plan/common/src/main/java/com/djrapitops/plan/identification/ServerServerInfo.java b/Plan/common/src/main/java/com/djrapitops/plan/identification/ServerServerInfo.java index 7a9a8ea79..03310d69c 100644 --- a/Plan/common/src/main/java/com/djrapitops/plan/identification/ServerServerInfo.java +++ b/Plan/common/src/main/java/com/djrapitops/plan/identification/ServerServerInfo.java @@ -125,7 +125,7 @@ public class ServerServerInfo extends ServerInfo { server = foundServer.get(); // Update information - String name = config.get(PluginSettings.SERVER_NAME).replaceAll("[^a-zA-Z0-9_\\s]", "_"); + String name = config.get(PluginSettings.SERVER_NAME); server.setName("plan".equalsIgnoreCase(name) ? "Server " + server.getId() : name); String webAddress = webServer.get().getAccessAddress(); @@ -162,7 +162,7 @@ public class ServerServerInfo extends ServerInfo { private Server createServerObject(UUID serverUUID) { String webAddress = webServer.get().getAccessAddress(); - String name = config.get(PluginSettings.SERVER_NAME).replaceAll("[^a-zA-Z0-9_\\s]", "_"); + String name = config.get(PluginSettings.SERVER_NAME); int maxPlayers = serverProperties.getMaxPlayers(); return new Server(-1, serverUUID, name, webAddress, maxPlayers); }